Follow
Julia Padberg
Julia Padberg
Verified email at haw-hamburg.de
Title
Cited by
Cited by
Year
Algebraic high-level net transformation systems
J Padberg, H Ehrig, L Ribeiro
Mathematical Structures in Computer Science 5 (2), 217-256, 1995
1971995
Adhesive high-level replacement categories and systems
H Ehrig, A Habel, J Padberg, U Prange
Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004
1132004
Graph grammars and Petri net transformations
H Ehrig, J Padberg
Advanced Course on Petri Nets, 496-536, 2003
982003
Abstract Petrinets: uniform approach and rule-based refinement
J Padberg
Shaker, 1996
891996
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
771996
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
712006
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
642007
Algebraic high level nets: Petri nets revisited
H Ehrig, J Padberg, L Ribeiro
Workshop on the Specification of Abstract Data Types, 188-206, 1992
641992
Specification and verification of model transformations
F Hermann, M Hülsbusch, B König
Electronic Communications of the EASST 30, 2010
602010
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
582003
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
492008
Transformations of Petri nets
H Ehrig, K Hoffmann, J Padberg
Electronic notes in theoretical computer science 148 (1), 151-172, 2006
482006
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
482002
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
472018
Petri net transformations
H Ehrig, K Hoffmann, J Padberg, C Ermel, U Prange, E Biermann, ...
Petri Net, Theory and Applications, 2008
452008
Rule-based refinement of high-level nets preserving safety properties
J Padberg, M Gajewsky, C Ermel
Fundamental Approaches to Software Engineering: First International …, 1998
441998
Petri net modules
J Padberg
Journal of Integrated Design and Process Science 6 (4), 105-120, 2002
422002
Overview of reconfigurable Petri nets
J Padberg, L Kahloul
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018
402018
Unifying Petri nets: advances in Petri nets
H Ehrig
Springer Science & Business Media, 2001
352001
Categorical approach to horizontal structuring and refinement of high-level replacement systems
J Padberg
Applied Categorical Structures 7, 371-403, 1999
311999
The system can't perform the operation now. Try again later.
Articles 1–20