Overview
- Offers a detailed compendium about the core, and most well-known, Petri net model
- Provides in-depth account of seminal and recent Petri net theory
- Covers a wide range of concurrency related research
Part of the book series: Computer Science Foundations and Applied Logic (CSFAL)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (21 chapters)
-
Front Matter
Keywords
About this book
Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources.
Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction.This comprehensive textbook/reference presents and discusses these issues in-depth in the context of one of the most fundamental Petri net models, called place/transition nets. The presentation is fortified by means of many examples and worked exercises.
Among topics addressed:
• In which order may actions may be generated and scheduled?
• What states and configurations may be reached in a concurrent system?
• Which interesting classes of systems can be analysed relatively efficiently?
• Is it possible to synthesise a system of some class from its behaviour?
• How can systems be represented algebraically, compositionally, and concisely?
This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoretical—as well as in practical—aspects of Petri nets and related system models.
Eike Best has been a full professor (now retired) affiliated to Carl von Ossietzky Universität Oldenburg, Germany. Raymond Devillers has been a full professor (now retired) affiliated to Université Libre de Bruxelles, Belgium. The authors have a long record as collaborators in the fields of Petri nets and the semantics of concurrency.
Authors and Affiliations
About the authors
Eike Best
Born in 1951 in Germany, graduated in Informatik in 1974 at the Technische Hochschule Karlsruhe. He has joined projects led by Peter Lauer and Brian Randell at the University of Newcastle upon Tyne (1975-1981) where he started to cooperate with Raymond Devillers. He earned his PhD in 1982 at Newcastle and a Habilitation degree at the University of Bonn in 1988 while working at Carl Adam Petri's Institute. He has taught a range of computer science courses as a professor in Paderborn, Hildesheim, and Oldenburg (from 1996), and he has a research and project leadership record, with an emphasis on semantics and Petri nets.
Raymond Devillers
Born in 1945 in Belgium, graduated in Mathematics and Physics, he got a PhD Thesis in 1974 on the use of games for deadlock prevention at the University of Brussels. During a postdoctorate stay in Newcastle upon Tyne, he met Eike Best, start of a long-lasting cooperation. After a job at the Computer Center of the ULB, he started a professorial career at the same university, where he taught many different courses in practical and theoretical computer sciences. He conducted many researches, in particular about the analysis and synthesis of Petri nets, before and after his retirement in 2010.
Bibliographic Information
Book Title: Petri Net Primer
Book Subtitle: A Compendium on the Core Model, Analysis, and Synthesis
Authors: Eike Best, Raymond Devillers
Series Title: Computer Science Foundations and Applied Logic
DOI: https://doi.org/10.1007/978-3-031-48278-6
Publisher: Birkhäuser Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Hardcover ISBN: 978-3-031-48277-9Published: 24 January 2024
Softcover ISBN: 978-3-031-48280-9Due: 24 February 2024
eBook ISBN: 978-3-031-48278-6Published: 23 January 2024
Series ISSN: 2731-5754
Series E-ISSN: 2731-5762
Edition Number: 1
Number of Pages: XIII, 545
Number of Illustrations: 210 b/w illustrations, 31 illustrations in colour
Topics: Discrete Mathematics in Computer Science, Dynamical Systems and Ergodic Theory, Vibration, Dynamical Systems, Control, Mathematical Modeling and Industrial Mathematics, Probability Theory and Stochastic Processes