Unifying Petri Nets: Advances in Petri Nets

Front Cover
Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg
Springer Science & Business Media, Dec 14, 2001 - Computers - 484 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

What Is a Petri Net?
1
An Overview
26
Improving the Usability of Petri Nets with the Petri Net Baukasten
54
Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten
79
Modelling Distributed Processes and Proving Properties of Distributed Process Models
103
Petri Nets over Partial Algebra
126
A Uniform Approach to Petri Net Classes
173
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
230
Rewriting Logic as a Unifying Framework for Petri Nets
250
Generalized Automata and Their Net Representations
304
On Concurrent Realization of Reactive Systems and Their Morphisms
346
Transactions and ZeroSafe Nets
380
Two Algebraic Process Semantics for Contextual Nets
427
Continuous Petri Nets and Transition Systems
457
Author Index
486
Copyright

Other editions - View all

Common terms and phrases