DOI: 10.5593/sgem2017/21/S07.019


I. Martinik
Wednesday 13 September 2017 by Libadmin2017

References: 17th International Multidisciplinary Scientific GeoConference SGEM 2017, www.sgem.org, SGEM2017 Conference Proceedings, ISBN 978-619-7408-01-0 / ISSN 1314-2704, 29 June - 5 July, 2017, Vol. 17, Issue 21, 141-152 pp, DOI: 10.5593/sgem2017/21/S07.019


Petri nets is one of mathematical modeling languages for the description of all kind of parallel systems. The new class of P/T Petri multiprocess multinets (PPMM) and its ASYNC-CALL operation are introduced in this article and their base characteristic of the well-formed property is proved. PPMM then generalize the definitions of the bi-relational P/T Petri nets and the P/T Petri process nets and their operators that follows from the base ideas of Petri net processes and their property-preserving Petri net process algebras (PPPA). PPPA does not need to verify the composition of the Petri net processes because all their algebraic operators preserve the specified set of the properties. The PPMM with the support of the ASYNC-CALL operation can be easily applied into the area of design, simulation and verification of multithreading programming systems based on the actor model of object-oriented programming, where all object are modeled as independent computational entities (i.e., active objects) that only respond to the received messages. This fact is demonstrated on the simple example of the client-server programming system executed in the distributed environment.

Keywords: P/T Petri multiprocess multinet, ASYNC-CALL operation, well-formed multiprocess multinet, property preservation, parallel systems modeling

Home | Contact | Site Map | Site statistics | Visitors : 0 / 353063

Follow site activity en  Follow site activity INFORMATICS  Follow site activity Papers SGEM2017   ?

CrossRef Member    Indexed in ISI Web Of Knowledge   Indexed in ISI Web Of Knowledge

© Copyright 2001 International Multidisciplinary Scientific GeoConference & EXPO SGEM. All Rights Reserved.

Creative Commons License