Unifying Petri Nets 2001

Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg (Eds.): Unifying Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2128 Springer 2001, ISBN 3-540-43067-9

Introduction

Magdalena Gajewsky, Hartmut Ehrig:
The »Petri Net Baukasten«: An Overview. 26-53
Herbert Weber, Sabine Lembke, Alexander Borusan:
Improving the Usability of Petri Nets with the »Petri Net Baukasten«. 54-78
Claudia Ermel, Michael Weber:
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. 79-102
Volker Gruhn, Ursula Wellen:
Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models. 103-125

Jörg Desel, Gabriel Juhás, Robert Lorenz:
Petri Nets over Partial Algebra. 126-172
Julia Padberg, Hartmut Ehrig:
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. 173-229
Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg:
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. 230-249
Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Rewriting Logic as a Unifying Framework for Petri Nets. 250-303

Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau:
Generalized Automata and Their Net Representations. 304-345
Marek A. Bednarczyk, Andrzej M. Borzyszkowski:
On Concurrent Realization of Reactive Systems and Their Morphisms. 346-379
Roberto Bruni, Ugo Montanari:
Transactions and Zero-Safe Nets. 380-426
Roberto Bruni, Vladimiro Sassone:
Two Algebraic Process Semantics for Contextual Nets. 427-456
Manfred Droste, R. M. Shortt:
Continuous Petri Nets and Transition Systems. 457-484