|
10
|
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
|
|
|
Cooperability in Train Control Systems: Specification of Scenarios Using Open Nets
– J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel
- 1999
|
|
2
|
Formalization of Variables in Algebraic High-Level Nets: Comparison of Different Approaches
– Claudia Ermel, Julia Padberg, Forschungsberichte Des Fachbereichs Informatik
- 1998
|
|
|
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
|
|
14
|
Transactions and Zero-Safe Nets
– Roberto Bruni, Ugo Montanari
- 2001
|
