Algebraic high-level net transformation systems J Padberg, H Ehrig, L Ribeiro Mathematical Structures in Computer Science 5 (2), 217-256, 1995 | 197 | 1995 |
Adhesive high-level replacement categories and systems H Ehrig, A Habel, J Padberg, U Prange Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004 | 113 | 2004 |
Graph grammars and Petri net transformations H Ehrig, J Padberg Advanced Course on Petri Nets, 496-536, 2003 | 98 | 2003 |
Abstract Petrinets: uniform approach and rule-based refinement J Padberg Shaker, 1996 | 89 | 1996 |
The category of typed graph grammars and its adjunctions with categories of derivations A Corradini, H Ehrig, M Löwe, U Montanari, J Padberg Graph Grammars and Their Application to Computer Science: 5th International …, 1996 | 77 | 1996 |
Adhesive high-level replacement systems: A new categorical framework for graph transformation H Ehrig, J Padberg, U Prange, A Habel Fundamenta Informaticae 74 (1), 1-29, 2006 | 71 | 2006 |
Independence of net transformations and token firing in reconfigurable place/transition systems H Ehrig, K Hoffmann, J Padberg, U Prange, C Ermel Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007 | 65 | 2007 |
Algebraic high level nets: Petri nets revisited H Ehrig, J Padberg, L Ribeiro Workshop on the Specification of Abstract Data Types, 188-206, 1992 | 64 | 1992 |
Specification and verification of model transformations F Hermann, M Hülsbusch, B König Electronic Communications of the EASST 30, 2010 | 62 | 2010 |
Rule-based refinement of Petri nets: A survey J Padberg, M Urbášek Petri Net Technology for Communication-Based Systems: Advances in Petri Nets …, 2003 | 58 | 2003 |
Transformations in reconfigurable place/transition systems U Prange, H Ehrig, K Hoffmann, J Padberg Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008 | 50 | 2008 |
A tutorial on graph transformation B König, D Nolte, J Padberg, A Rensink Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018 | 49 | 2018 |
Transformations of Petri nets H Ehrig, K Hoffmann, J Padberg Electronic notes in theoretical computer science 148 (1), 151-172, 2006 | 48 | 2006 |
High-level net processes H Ehrig, K Hoffmann, J Padberg, P Baldan, R Heckel Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, 191-219, 2002 | 48 | 2002 |
Petri net transformations H Ehrig, K Hoffmann, J Padberg, C Ermel, U Prange, E Biermann, ... Petri Net, Theory and Applications, 2008 | 45 | 2008 |
Rule-based refinement of high-level nets preserving safety properties J Padberg, M Gajewsky, C Ermel Fundamental Approaches to Software Engineering: First International …, 1998 | 44 | 1998 |
Overview of reconfigurable Petri nets J Padberg, L Kahloul Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018 | 42 | 2018 |
Petri net modules J Padberg Journal of Integrated Design and Process Science 6 (4), 105-120, 2002 | 42 | 2002 |
Unifying Petri nets: advances in Petri nets H Ehrig Springer Science & Business Media, 2001 | 35 | 2001 |
Categorical approach to horizontal structuring and refinement of high-level replacement systems J Padberg Applied Categorical Structures 7, 371-403, 1999 | 31 | 1999 |