


default search action
Unifying Petri Nets 2001
- Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg:

Unifying Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2128, Springer 2001, ISBN 3-540-43067-9
Introduction
- Jörg Desel, Gabriel Juhás:

''What Is a Petri Net?''. 1-25
Part I: Application Oriented Approaches
- Magdalena Gajewsky, Hartmut Ehrig:

The »Petri Net Baukasten«: An Overview. 26-53 - Herbert Weber, Sabine Lembke, Alexander Borusan:

Improving the Usability of Petri Nets with the »Petri Net Baukasten«. 54-78 - Claudia Ermel, Michael Weber:

Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. 79-102 - Volker Gruhn, Ursula Wellen:

Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models. 103-125
Part II: Unifying Frameworks
- Jörg Desel, Gabriel Juhás, Robert Lorenz:

Petri Nets over Partial Algebra. 126-172 - Julia Padberg, Hartmut Ehrig:

Parameterized Net Classes: A Uniform Approach to Petri Net Classes. 173-229 - Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg:

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. 230-249 - Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:

Rewriting Logic as a Unifying Framework for Petri Nets. 250-303
Part III: Theoretical Approaches
- Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau:

Generalized Automata and Their Net Representations. 304-345 - Marek A. Bednarczyk, Andrzej M. Borzyszkowski:

On Concurrent Realization of Reactive Systems and Their Morphisms. 346-379 - Roberto Bruni, Ugo Montanari:

Transactions and Zero-Safe Nets. 380-426 - Roberto Bruni, Vladimiro Sassone:

Two Algebraic Process Semantics for Contextual Nets. 427-456 - Manfred Droste, R. M. Shortt:

Continuous Petri Nets and Transition Systems. 457-484

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














