A Taste of Categorical Petri Nets (1996)

by Claudia Ermel , Claudia Ermel , Alfio Martini , Alfio Martini

Active Bibliography

11 A Uniform Approach to Petri Nets – H. Ehrig, J. Padberg - 1997
10 Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems – Julia Padberg - 1998
3 From Abstract Data Types to Algebraic Development Techniques: A Shift . . . – H. Ehrig, M. Gajewsky, U. Wolter - 1998
2 Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications (Extended Abstract) – Hartmut Ehrig, Maike Gajewsky, Sabine Lembke, Julia Padberg - 1997
5 The Expert View of the "Petri Net Baukasten" – M. Gajewsky - 1999
3 Concepts and Requirements for Transformations within Petri Net Based Process Models – M. Gajewsky - 2000
2 Colimit Library for Graph Transformations and Algebraic Development Techniques – Dietmar Wolz, Vom Fachbereich Informatik, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla - 1998
2 Classification of Petri Nets Using Adjoint Functors – Julia Padberg - 2001
2 Using High-Level Replacement Systems to Preserve Safety Properties in Place/Transition Net Transformations – J. Padberg, M. Gajewsky - 1998
10 Requirements Engineering Of A Medical Information System Using Rule-Based Refinement Of Petri Nets – Claudia Ermel, Julia Padberg, Hartmut Ehrig - 1996
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
2 Formalization of Variables in Algebraic High-Level Nets: Comparison of Different Approaches – Claudia Ermel, Julia Padberg, Forschungsberichte Des Fachbereichs Informatik - 1998
Cooperability in Train Control Systems: Specification of Scenarios Using Open Nets – J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel - 1999
New Safety Property and Liveness Preserving Morphisms of P/T Systems – Milan Urbasek - 2002
1 Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten – Claudia Ermel, Michael Weber - 2001
1 Action Nets and Abstract Statecharts in the Theory . . . – H. Ehrig, M. Gajewsky, J. Padberg - 1997
3 Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems – J. Padberg, K. Hoffmann, M. Gajewsky - 2000
1 Application of Graph Transformation Techniques to the Area of Petri Nets: An Overview (Extended Abstract) – B. Braatz, H. Ehrig, K. Hoffmann, J. Padberg, M. Urbasek - 2002
Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes – Julia Padberg - 1997
15 Transactions and Zero-Safe Nets – Roberto Bruni, Ugo Montanari - 2001