Scholarly record
ACTIVE OBJECTS AND THEIR MODELING WITH USING OF MULTIPROCESS PETRI MULTINETS WITH TIME STAMPS
Abstract
Petri nets is the well-known mathematical tool for the modeling and verification of parallel systems of all kind. Multiprocess Petri multinets with time stamps (MPTSM) are the newly introduced class of low-level Petri nets, whose definition and the properties are the main topic of this article; they generalize the properties of P/T Petri multiprocess multinets in the area of design, modeling and verification of generally parallel programming systems with the discrete time. The MPTSM with the support of the ASYNC-CALL operation can be then applied into the area of modeling and verification of multithreading programming systems based on the actor model of object-oriented programming, where all object are represented as independent computational entities with discrete time (i.e., active objects) that only respond to the received messages. This fact will be then demonstrated on the simple example of the programming system based on the client-server architecture that is operated in the distributed system environment where all the actors are synchronized in time with the unique central time source.
Publication Impact Profile
Publication details
References10
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.
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., ASYNC-CALL Operation of P/T Petri Multiprocess Multinets and Its Properties, 17th International Multidisciplinary Scientific Geoconference SGEM 2017, Albena, Bulgaria, pp. 141-152, 2017.
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, 1973, pp 235-245.
Furia, C. A., Mandrioli, D., Morzenti, A., Rossi, M., Modeling Time in Computing, Springer-Verlag, Heidelberg, 2012.
van Hee, K., Sidorova, N., The Right Timing: Reflections on the Modeling and Analysis of Time, Application and Theory of Petri Nets and Concurrency 2013, Springer, Heidelberg, LNCS, vol. 7927, pp. 1-20, 2013.
Martos-Salgado, M., Rosa-Velardo, F., Dynamic Networks of Timed Petri Nets, Application and Theory of Petri Nets and Concurrency 2014, Springer, Heidelberg, LNCS, vol. 8489, pp. 294-313, 2014.
Popova-Zeugmann, L., Time and Petri Nets, Springer-Verlag, Heidelberg, 2013.
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, Uherské Hradiště, Czech Republic. pp. 400-410, 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.
