Unifying Petri Nets 2001

@proceedings{DBLP:conf/apn/2001u,
  editor    = {Hartmut Ehrig and
               Gabriel Juh{\'a}s and
               Julia Padberg and
               Grzegorz Rozenberg},
  title     = {Unifying Petri Nets, Advances in Petri Nets},
  booktitle = {Unifying Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2128},
  year      = {2001},
  isbn      = {3-540-43067-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

• Jörg Desel, Gabriel Juhás:
  ''What Is a Petri Net?''. 1-25
  Electronic Edition (Springer LINK) BibTeX

Part I: Application Oriented Approaches

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

Part II: Unifying Frameworks

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

Part III: Theoretical Approaches

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