Advertisement

Unifying Petri Nets

Advances in Petri Nets

  • Hartmut Ehrig
  • Julia Padberg
  • Gabriel Juhás
  • Grzegorz Rozenberg

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2128)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Introduction

  3. Application Oriented Approaches

  4. Unifying Frameworks

    1. Jörg Desel, Gabriel Juhás, Robert Lorenz
      Pages 126-172
    2. Julia Padberg, Hartmut Ehrig
      Pages 173-229
    3. Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg
      Pages 230-249
    4. Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
      Pages 250-303
  5. Theoretical Approaches

    1. Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau
      Pages 304-345
    2. Marek A. Bednarczyk, Andrzej M. Borzyszkowski
      Pages 346-379
    3. Roberto Bruni, Ugo Montanari
      Pages 380-426
    4. Roberto Bruni, Vladimiro Sassone
      Pages 427-456
    5. Manfred Droste, R. M. Shortt
      Pages 457-485
  6. Back Matter
    Pages 485-485

About this book

Introduction

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.

Keywords

Monoid Netz Petri nets automata concurrency concurrent systems distributed computing distributed process models logic modeling petri net petri net classes reactive systems semantics transition systems

Editors and affiliations

  • Hartmut Ehrig
    • 1
  • Julia Padberg
    • 1
  • Gabriel Juhás
    • 2
  • Grzegorz Rozenberg
    • 3
  1. 1.Institut für Softwaretechnik und Theoretische InformatikTechnische Universität BerlinBerlinGermany
  2. 2.Katholische Universität EichstättEichstättGermany
  3. 3.Leiden Institute of Advanced Computer ScienceLeiden UniversityCA LeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45541-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43067-4
  • Online ISBN 978-3-540-45541-7
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site