Skip to main content
SpringerLink
Log in

Unifying Petri Nets

Advances in Petri Nets

  • Book
  • © 2001

Overview

Editors:
  1. Hartmut Ehrig

    1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Julia Padberg

    1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gabriel Juhás

    1. Katholische Universität Eichstätt, Eichstätt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Grzegorz Rozenberg

    1. Leiden Institute of Advanced Computer Science, Leiden University, CA Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Introduction

    1. “What Is a Petri Net?” Informal Answers for the Informed Reader

      • Jörg Desel, Gabriel Juhás
      Pages 1-25

  3. Application Oriented Approaches

    1. The ≫Petri Net Baukasten≪: An Overview

      • Meike Gajewsky, Hartmut Ehrig
      Pages 26-53

    2. Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪

      • Herbert Weber, Sabine Lembke, Alexander Borusan
      Pages 54-78

    3. Implementation of Parameterized Net Classes with the Petri Net Kernel of the ≫Petrinetz-Baukasten≪

      • Claudia Ermel, Michael Weber
      Pages 79-102

    4. Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models

      • Volker Gruhn, Ursula Wellen
      Pages 103-125

  4. Unifying Frameworks

    1. Petri Nets over Partial Algebra

      • Jörg Desel, Gabriel Juhás, Robert Lorenz
      Pages 126-172

    2. Parameterized Net Classes: A Uniform Approach to Petri Net Classes

      • Julia Padberg, Hartmut Ehrig
      Pages 173-229

    3. Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

      • Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg
      Pages 230-249

    4. Rewriting Logic as a Unifying Framework for Petri Nets

      • Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
      Pages 250-303

  5. Theoretical Approaches

    1. Generalized Automata and Their Net Representations

      • Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau
      Pages 304-345

    2. On Concurrent Realization of Reactive Systems and Their Morphisms

      • Marek A. Bednarczyk, Andrzej M. Borzyszkowski
      Pages 346-379

    3. Transactions and Zero-Safe Nets

      • Roberto Bruni, Ugo Montanari
      Pages 380-426

    4. Two Algebraic Process Semantics for Contextual Nets

      • Roberto Bruni, Vladimiro Sassone
      Pages 427-456

    5. Continuous Petri Nets and Transition Systems

      • Manfred Droste, R. M. Shortt
      Pages 457-485

  6. Back Matter

    Pages 485-485
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Berlin, Germany

    Hartmut Ehrig, Julia Padberg

  • Katholische Universität Eichstätt, Eichstätt, Germany

    Gabriel Juhás

  • Leiden Institute of Advanced Computer Science, Leiden University, CA Leiden, The Netherlands

    Grzegorz Rozenberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation