×

zbMATH — the first resource for mathematics

Padberg, Julia

Compute Distance To:
Author ID: padberg.julia Recent zbMATH articles by "Padberg, Julia"
Published as: Padberg, J.; Padberg, Julia
Documents Indexed: 44 Publications since 1993, including 3 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 58 times in 42 Documents Cited by Year
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
10
2004
Algebraic high-level net transformation systems. Zbl 0839.68068
Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila
10
1995
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
5
2006
Algebraic high-level net transformation systems: A survey over theory and applications. Zbl 0785.68064
Padberg, Julia
4
1993
Graph grammars and Petri net transformations. Zbl 1088.68079
Ehrig, Hartmut; Padberg, Julia
3
2004
Rule-based refinement of high-level nets preserving safety properties. Zbl 0969.68109
Padberg, J.; Gajewsky, M.; Ermel, C.
3
2001
The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099
Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J.
3
1996
Independence of net transformations and token firing in reconfigurable place/transition systems. Zbl 1226.68052
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia
2
2007
Petri net modules in the transformation-based component framework. Zbl 1088.68129
Padberg, Julia; Ehrig, Hartmut
2
2006
Parameterized net classes: A uniform approach to Petri net classes. Zbl 1017.68078
Padberg, Julia; Ehrig, Hartmut
2
2001
Double-pullback graph transitions: A rule-based framework with incomplete information. Zbl 0958.68123
Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz
2
2000
Categorical approach to horizontal structuring and refinement of high-level replacement systems. Zbl 0941.18001
Padberg, Julia
2
1999
Algebraic high level nets. Petri nets revisited. Zbl 0941.68643
Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila
2
1994
A tutorial on graph transformation. Zbl 1383.68044
König, Barbara; Nolte, Dennis; Padberg, Julia; Rensink, Arend
1
2018
Model checking reconfigurable Petri nets with Maude. Zbl 1344.68141
Padberg, Julia; Schulz, Alexander
1
2016
Transformations in reconfigurable place/transition systems. Zbl 1144.68043
Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia
1
2008
Rule-based refinement of Petri nets: A survey. Zbl 1283.68251
Padberg, J.; Urbášek, M.
1
2003
High-level net processes. Zbl 1060.68078
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko
1
2002
From basic views and aspects to integration of specification formalisms. Zbl 1049.68089
Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando
1
2001
Unifying Petri nets. Advances in Petri nets. Zbl 0978.00023
Ehrig, Hartmut (ed.); Juhás, Gabriel (ed.); Padberg, Julia (ed.); Rozenberg, Grzegorz (ed.)
1
2001
Classification of Petri nets using adjoint functors. Zbl 0912.68144
Padberg, Julia
1
1998
A tutorial on graph transformation. Zbl 1383.68044
König, Barbara; Nolte, Dennis; Padberg, Julia; Rensink, Arend
1
2018
Model checking reconfigurable Petri nets with Maude. Zbl 1344.68141
Padberg, Julia; Schulz, Alexander
1
2016
Transformations in reconfigurable place/transition systems. Zbl 1144.68043
Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia
1
2008
Independence of net transformations and token firing in reconfigurable place/transition systems. Zbl 1226.68052
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia
2
2007
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
5
2006
Petri net modules in the transformation-based component framework. Zbl 1088.68129
Padberg, Julia; Ehrig, Hartmut
2
2006
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
10
2004
Graph grammars and Petri net transformations. Zbl 1088.68079
Ehrig, Hartmut; Padberg, Julia
3
2004
Rule-based refinement of Petri nets: A survey. Zbl 1283.68251
Padberg, J.; Urbášek, M.
1
2003
High-level net processes. Zbl 1060.68078
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko
1
2002
Rule-based refinement of high-level nets preserving safety properties. Zbl 0969.68109
Padberg, J.; Gajewsky, M.; Ermel, C.
3
2001
Parameterized net classes: A uniform approach to Petri net classes. Zbl 1017.68078
Padberg, Julia; Ehrig, Hartmut
2
2001
From basic views and aspects to integration of specification formalisms. Zbl 1049.68089
Ehrig, Hartmut; Padberg, Julia; Orejas, Fernando
1
2001
Unifying Petri nets. Advances in Petri nets. Zbl 0978.00023
Ehrig, Hartmut (ed.); Juhás, Gabriel (ed.); Padberg, Julia (ed.); Rozenberg, Grzegorz (ed.)
1
2001
Double-pullback graph transitions: A rule-based framework with incomplete information. Zbl 0958.68123
Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz
2
2000
Categorical approach to horizontal structuring and refinement of high-level replacement systems. Zbl 0941.18001
Padberg, Julia
2
1999
Classification of Petri nets using adjoint functors. Zbl 0912.68144
Padberg, Julia
1
1998
The category of typed graph grammars and its adjunctions with categories of derivations. Zbl 1412.68099
Corradini, A.; Ehrig, H.; Löwe, M.; Montanari, U.; Padberg, J.
3
1996
Algebraic high-level net transformation systems. Zbl 0839.68068
Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila
10
1995
Algebraic high level nets. Petri nets revisited. Zbl 0941.68643
Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila
2
1994
Algebraic high-level net transformation systems: A survey over theory and applications. Zbl 0785.68064
Padberg, Julia
4
1993

Citations by Year