Abstract
The study of concurrent and parallel systems has been a challenging research domain within cyberphysical systems community. This chapter provides a pragmatic introduction to the creation and analysis of such system models using the popular Petri nets formalism. Petri nets is a formalism that convinces through its simplicity and applicability.We offer an overview of the most important Petri nets concepts, analysis techniques and model checking approaches. Finally, we show the use of so-called High-level Petri nets for the representation of complex data structures and functionality and present a novel research approach that allows the use of Petri nets inside Functional Mock-up Units and cyber-physical system models.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2020 The Author(s)
About this chapter
Cite this chapter
Buchs, D., Klikovits, S., Linard, A. (2020). Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems. In: Carreira, P., Amaral, V., Vangheluwe, H. (eds) Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-43946-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-43946-0_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-43945-3
Online ISBN: 978-3-030-43946-0
eBook Packages: Computer ScienceComputer Science (R0)