Eike Best: Petri Net Primer, Kartoniert / Broschiert
Petri Net Primer
- A Compendium on the Core Model, Analysis, and Synthesis
(soweit verfügbar beim Lieferanten)
- Verlag:
- Birkhäuser, 02/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783031482809
- Artikelnummer:
- 12187825
- Umfang:
- 560 Seiten
- Gewicht:
- 838 g
- Maße:
- 235 x 155 mm
- Stärke:
- 30 mm
- Erscheinungstermin:
- 10.2.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
Preface.- 1 First Steps in Petri Nets.- 2 Languages of Petri Nets.- 3 Reachability and Coverability.- 4 Linear-algebraic Structure of Petri Nets.- 5 Graph-theoretical Structure of Petri Nets.- 6 More Structure Theory.- 7 Program Verification Using Traps.- 8 Fairness, Simulations, and Inhibitor Arcs.- 9 Unfoldings and Reachability Checking.- 10 Petri Net Computers.- 11 Synthesis of Petri Nets from Labelled Transition Systems.- 12 Persistent Transition Systems and Choice-free Petri Nets.- 13 Divide-and-Conquer Methods for Synthesis.- 14 Marked Graph Synthesis.- 15 Bounded Choice-free Net Synthesis.- 16 Model Checking Safe, Strongly Persistent Petri Nets.- 17 Semilinearity.- 18 Decidability of the reachability problem.- 19 The Box Algebra 1 / 2: Refinement and Recursion.- 20 The Box Algebra 2 / 2: Iteration and Data.- 21 High-level Petri Nets.- Biblyography.- Index
Biografie (Eike Best)
Prof. Dr. Eike Best lehrt Theoretische Informatik an der Universität Hildesheim. Er hat in Karlsruhe studiert, in Newcastle (England) promoviert und sich in Bonn für Informatik habilitiert. Seine Forschungsinteressen konzentrieren sich auf das Gebiet Semantik und Verifikation paralleler und verteilter Systeme.
