Jörg Desel, Gabriel Juhás (auth.), Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg (eds.)3540430679, 9783540430674
These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches.
Table of contents :
“What Is a Petri Net?” Informal Answers for the Informed Reader….Pages 1-25
The ≫Petri Net Baukasten≪: An Overview….Pages 26-53
Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪….Pages 54-78
Implementation of Parameterized Net Classes with the Petri Net Kernel of the ≫Petrinetz-Baukasten≪….Pages 79-102
Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models….Pages 103-125
Petri Nets over Partial Algebra….Pages 126-172
Parameterized Net Classes: A Uniform Approach to Petri Net Classes….Pages 173-229
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs….Pages 230-249
Rewriting Logic as a Unifying Framework for Petri Nets….Pages 250-303
Generalized Automata and Their Net Representations….Pages 304-345
On Concurrent Realization of Reactive Systems and Their Morphisms….Pages 346-379
Transactions and Zero-Safe Nets….Pages 380-426
Two Algebraic Process Semantics for Contextual Nets….Pages 427-456
Continuous Petri Nets and Transition Systems….Pages 457-485
Reviews
There are no reviews yet.