Unifying Petri Nets

Keyphrases

Publications

2001

Magdalena Gajewsky, Hartmut Ehrig
The »Petri Net Baukasten«: An Overview. Unifying Petri Nets (2001)
Volker Gruhn, Ursula Wellen
Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models. Unifying Petri Nets (2001)
Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets (2001)
Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau
Generalized Automata and Their Net Representations. Unifying Petri Nets (2001)
Herbert Weber, Sabine Lembke, Alexander Borusan
Improving the Usability of Petri Nets with the »Petri Net Baukasten«. Unifying Petri Nets (2001)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Petri Nets over Partial Algebra. Unifying Petri Nets (2001)
Roberto Bruni, Vladimiro Sassone
Two Algebraic Process Semantics for Contextual Nets. Unifying Petri Nets (2001)
Manfred Droste, R. M. Shortt
Continuous Petri Nets and Transition Systems. Unifying Petri Nets (2001)
Claudia Ermel, Michael Weber
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. Unifying Petri Nets (2001)
Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. Unifying Petri Nets (2001)
Julia Padberg, Hartmut Ehrig
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets (2001)
Roberto Bruni, Ugo Montanari
Transactions and Zero-Safe Nets. Unifying Petri Nets (2001)
Jörg Desel, Gabriel Juhás
''What Is a Petri Net?''. Unifying Petri Nets (2001)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
On Concurrent Realization of Reactive Systems and Their Morphisms. Unifying Petri Nets (2001)

volume 2128, 2001

Unifying Petri Nets, Advances in Petri Nets Unifying Petri Nets 2128 (2001)