Scholarly record
ASYNC-CALL OPERATION OF P/T PETRI MULTIPROCESS MULTINETS AND ITS PROPERTIES
Abstract
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.
Publication Impact Profile
Publication details
References10
Reisig, W., Rozenberg, G.: Lectures on Petri Nets I: Basic Models. Springer, Heidelberg (1998)
Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications. John Willey & Sons, ISTE Ltd., 2009.
David, R., Alla, H.: Discrete, Continous and Hybrid Petri Nets. Springer, 2010.
van der Alst, W., van Hee, K.: Workflow Management: Models, Methods and Systems. The MIT Press, Massachusetts, 2002.
Huang, H., Jiao, L., Cheung, T., Mak, W. M.: Property-Preserving Petri Net Process Algebra In Software Engineering. World Scientific Publishing Co. Pte. Ltd., Singapore, 2012.
Martiník, I.: Bi-relational P/T Petri Nets and the Modeling of Multithreading Object-oriented Programming Systems. Communications in Computer and Information Science. Volume 188 CCIS (Part 1), pp. 222-236, 2011.
Martiník, I.: PLACE_SUBST Transformation of P/T Petri Process Nets and Its Properties. Computer Information Systems and Industrial Management. Lecture Notes in Computer Science. Volume 9842, pp. 504-515, 2016.
Martiník, I.: SYNC-PROC Composition Operator of P/T Petri Process Nets. Proceedings of the 11th International Conference on Strategic Management and its Support by Information Systems 2015, 21st - 22nd May, Uherské Hradiště, Czech Republic. pp. 400-410, 2015.
Hewitt, C., Bishop, P., Steiger, R.: A Universal modular ACTOR Formalism for Artificial Intelligence. IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence, 20-23 August, Stanford, USA. pp 235-245, 1973.
Martiník, I.: Modeling of Object-Oriented Programming Systems with Using of Petri Nets. SAEI, vol. 5. Ostrava, VŠB-TU Ostrava, 2015.
View or Download full articleAccess options
SWS access login
Login as SWS Scientific CommitteeLogin as SWS Scientific PartnerLogin as SWS AuthorAuthors and approved SWS contributors will read and export their own linked papers after identity matching by SWS profile, email and SGEM GlobalID.
For librarian assistance: [email protected]
Purchase Instant Access
- Article can be downloaded after successful payment.
- Article may be used according to SWS library access terms.
- Article cannot be redistributed.
