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 – - 1997
10 Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems – - 1998
3 From Abstract Data Types to Algebraic Development Techniques: A Shift . . . – - 1998
2 Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications (Extended Abstract) – - 1997
5 The Expert View of the "Petri Net Baukasten" – - 1999
3 Concepts and Requirements for Transformations within Petri Net Based Process Models – - 2000
2 Colimit Library for Graph Transformations and Algebraic Development Techniques – - 1998
2 Classification of Petri Nets Using Adjoint Functors – - 2001
2 Using High-Level Replacement Systems to Preserve Safety Properties in Place/Transition Net Transformations – - 1998
10 Requirements Engineering Of A Medical Information System Using Rule-Based Refinement Of Petri Nets – - 1996
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – - 1997
Cooperability in Train Control Systems: Specification of Scenarios Using Open Nets – - 1999
2 Formalization of Variables in Algebraic High-Level Nets: Comparison of Different Approaches – - 1998
New Safety Property and Liveness Preserving Morphisms of P/T Systems – - 2002
1 Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten – - 2001
1 Action Nets and Abstract Statecharts in the Theory . . . – - 1997
3 Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems – - 2000
1 Application of Graph Transformation Techniques to the Area of Petri Nets: An Overview (Extended Abstract) – - 2002
Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes – - 1997
14 Transactions and Zero-Safe Nets – - 2001