Unifying Petri Nets: Advances in Petri Nets

✍ Scribed by Jörg Desel, Gabriel Juhás (auth.), Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2001
• Tongue: English
• Leaves: 494
• Series: Lecture Notes in Computer Science 2128
• Edition: 1
• Category: Library

✦ Synopsis

Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth.
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

✦ Subjects

Computation by Abstract Devices; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computer Communication Networks; Discrete Mathematics in Computer Science