Abstract
Petri nets are an established graphical formalism for modeling and analyzing the behavior of systems. An important consideration of the value of Petri nets is their use in describing both the syntax and semantics of modeling formalisms. Describing a modeling notation in terms of a formal technique such as Petri nets provides a way to minimize ambiguity. Accordingly, it is imperative to develop a deep and diverse understanding of Petri nets. This paper is directed towards a new, but preliminary, exploration of the semantics of such an important tool. Specifically, the concern in this paper is with the semantics of Petri nets interpreted in a modeling language based on the notion of machines of “things that flow”. The semantics of several Petri net diagrams are analyzed in terms of “flow of things”. The results point to the viability of the approach for exploring the underlying assumptions of Petri nets.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods and Systems. MIT Press. ISBN 0-262001189 (2004)
Spiteri Staines, A.: Modeling UML software design patterns using fundamental modeling concepts (FMC). In: Proceedings of the 2nd WSEAS European Computing Conference, pp. 192–197. Malta, Sept 2008
Pennisi, M., Cavalieri, S., Motta, S., Pappalardo, F.: A methodological approach for using high-level Petri nets to model the immune system response. BMC Bioinform. 17(Suppl 19), 498 (2016). https://doi.org/10.1186/s12859-016-1361-6
Object Management Group (OMG). Business Process Model and Notation (BPMN) Version 2.0
Azatyan, V.: On the transformation of Petri nets into BPMN models. Master’s Thesis. University of Tartu, Institute of Computer Science (2017)
Bruni, R., Meseguer, J., Montanari, U., Sassone, V.: A Comparison of Petri Net Semantics under the Collective Token Philosophy. BRICS Report Series RS-98-17. ISSN 0909-0878, Sept 1998
ter Hofstede A.H.M, van der Aalst, W., Adams, M., Russell, N.: Modern Business Process Automation. YAWL and Its Support Environment. Springer (2010)
Thalheim, B.: The science and art of conceptual modelling. In: Hameurlain, A., Küng, J., Wagner, R., Liddle, S.W., Schewe, K.D., Zhou, X. (eds.) Transactions on Large-Scale Data- and Knowledge-Centered Systems VI. Lecture Notes in Computer Science, vol. 7600. Springer, Berlin, Heidelberg (2012)
Al-Fedaghi S., Alahmad, H.: Orientation in conceptual modeling frameworks. In: The 3rd IEEE International Conference on Big Data Intelligence and Computing. Orlando, USA, 6–10 Nov 2017
Al-Fedaghi S., Alahmad, H.: Integrated modeling methodologies and languages. In: ACM 12th International Conference on Ubiquitous Information Management and Communication. Langkawi, Malaysia, 5–7 Jan 2018
Al-Fedaghi, S.: Design functional decomposition based on flow. In: IEEE International Conference on Systems, Man, and Cybernetics. IEEE SMC 2016. Budapest, Hungary, 9–12 Oct 2016
MIT OpenCourseWare: Chapter 4: State Machines, 6.01, 25 Apr 2011
Desel, J., Reisig, W.: Place/transition Petri nets. Lect. Notes Comput. Sci. 1491, 122–173 (1998)
Spiteri Staines, A.: Supporting requirements engineering with different Petri net classes. Int. J. Comput. 4(4), 215–222 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Al-Fedaghi, S., Shbeeb, D. (2019). Petri Nets and Machines of Things that Flow. In: Arai, K., Kapoor, S., Bhatia, R. (eds) Intelligent Systems and Applications. IntelliSys 2018. Advances in Intelligent Systems and Computing, vol 869. Springer, Cham. https://doi.org/10.1007/978-3-030-01057-7_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-01057-7_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01056-0
Online ISBN: 978-3-030-01057-7
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)