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.