## Unifying Petri Nets: Advances in Petri NetsHartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

What Is a Petri Net? | 1 |

An Overview | 26 |

Improving the Usability of Petri Nets with the Petri Net Baukasten | 54 |

Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten | 79 |

Modelling Distributed Processes and Proving Properties of Distributed Process Models | 103 |

Petri Nets over Partial Algebra | 126 |

A Uniform Approach to Petri Net Classes | 173 |

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs | 230 |

Rewriting Logic as a Unifying Framework for Petri Nets | 250 |

Generalized Automata and Their Net Representations | 304 |

On Concurrent Realization of Reactive Systems and Their Morphisms | 346 |

Transactions and ZeroSafe Nets | 380 |

Two Algebraic Process Semantics for Contextual Nets | 427 |

Continuous Petri Nets and Transition Systems | 457 |

486 | |

### Other editions - View all

Unifying Petri Nets: Advances in Petri Nets Hartmut Ehrig,Gabriel Juhas,Julia Padberg,Grzegorz Rozenberg Limited preview - 2003 |

Unifying Petri Nets: Advances in Petri Nets Hartmut Ehrig,Gabriel Juhas,Julia Padberg,Grzegorz Rozenberg No preview available - 2001 |

Unifying Petri Nets: Advances in Petri Nets Hartmut Ehrig,Gabriel Juhas,Julia Padberg,Grzegorz Rozenberg No preview available - 2014 |

### Common terms and phrases

abstract Petri nets activity adjoint functors Application Developer View application domain arcs arrows asynchronous systems automata axioms behavior bijection category theory colimits Common Base component Computer Science construction corresponding data type deﬁned Deﬁnition denote Ehrig elementary nets equations example Expert View F-graphs finite firing forgetful functor formal Petri free monoid full subcategory function functor Galois connection given high-level abstract Petri implementation information elements initial marking interface isomorphic labelled Lemma LNCS M-nets mapping marking graph Meseguer morphism morphism f multiset Notes in Computer notions objects operations Padberg Parameterized Net Classes partial algebra Petri Net Baukasten Petri net techniques Petri net tool Petri net type place/transition nets pre(t process landscape process terms Proof properties pt nets pushout reachable realization relation represented rewriting logic Rozenberg Section semantics structure Theorem theory tokens transformation transition systems variables zs net zs nets