Unifying Petri Nets : Advances in Petri Nets

by Ehrig, Hartmut; Juhas, Gabriel; Padberg, Julia; Rozenberg, Grzegorz

• ISBN13: 9783540430674
• ISBN10: 3540430679
• Format: Paperback
• Copyright: 2002-04-01
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Introduction
``What Is a Petri Net?'' Informal Answers for the Informed Reader	1	(25)
Jorg Desel
Gabriel Juhas
Part I: Application Oriented Approaches
The »Petri Net Baukasten«: An Overview	26	(28)
Meike Gajewsky
Hartmut Ehrig
Improving the Usability of Petri Nets with the »Petri Net Baukasten»	54	(25)
Herbert Weber
Sabine Lembke
Alexander Borusan
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«	79	(24)
Claudia Ermel
Michael Weber
Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models	103	(23)
Volker Gruhn
Ursula Wellen
Part II: Unifying Frameworks
Petri Nets over Partial Algebra	126	(47)
Jorg Desel
Gabriel Juhas
Robert Lorenz
Parameterized Net Classes: A Uniform Approach to Petri Net Classes	173	(57)
Julia Padberg
Hartmut Ehrig
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs	230	(20)
Julia Padberg
Hartmut Ehrig
Grzegorz Rozenberg
Rewriting Logic as a Unifying Framework for Petri Nets	250	(54)
Mark-Oliver Stehr
Jose Meseguer
Peter Csaba Olveczky
Part III: Theoretical Approaches
Generalized Automata and Their Net Representations	304	(42)
Eric Badouel
Marek A. Bednarczyk
Philippe Darondeau
On Concurrent Realization of Reactive Systems and Their Morphisms	346	(34)
Marek A. Bednarczyk
Andrzej M. Borzyszkowski
Transactions and Zero-Safe Nets	380	(47)
Roberto Bruni
Ugo Montanari
Two Algebraic Process Semantics for Contextual Nets	427	(30)
Roberto Bruni
Vladimiro Sassone
Continuous Petri Nets and Transition Systems	457	(28)
Manfred Droste
R. M. Shortt
Author Index	485