Padberg, J.

• Padberg, Julia; Ehrig, Hartmut:
  Petri Net Modules in the Transformation-Based Component Framework. 2006.

• Padberg, Julia; Kreowski, Hans-Jörg:
  Loose Semantics of Petri Nets. 2005.

• Padberg, J.; Urbásek, M.:
  Rule-Based Refinement of Petri Nets: A Survey. 2003.

• Weber, H.; Ehrig, H.; Reisig, W.; Borusan, A.; Lembke, S.; Dehnert, J.; Weber, M.; Martens, A.; Padberg, J.; Ermel, C.; Qemali, A.:
  The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. 2003.

• Bardohl, Roswitha; Ermel, Claudia; Padberg, Julia:
  Transforming Specification Architectures by GenGED. 2002.

• Padberg, Julia; Enders, Bettina E.:
  Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. 2002.

• Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko:
  High-Level Net Processes. 2002.

• Padberg, Julia; Ehrig, Hartmut:
  Parameterized Net Classes: A Uniform Approach to Petri Net Classes. 2001.

• Padberg, Julia; Ehrig, Hartmut; Rozenberg, Grzegorz:
  Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. 2001.

• Padberg, J.; Gajewsky, M.:
  Rule-based refinement of Petri nets for modeling train control systems. 2000.

• Padberg, J.:
  Abstract Petri nets as a uniform approach to high-level Petri nets. 1999.

• Padberg, J.:
  The `Petri Net Baukasten': An Application-Oriented Petri Net Technology. 1999.

• Padberg, Julia:
  Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. 1999.

• Padberg, J.; Gajewsky, M.; Ermel, C.:
  Rule-based refinement of high-level nets preserving safety properties. 1998.

• Padberg, J.; Jansen, L.; Heckel, R.; Ehrig, H.:
  Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets. 1998.

• Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz:
  Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. 1998.

• Padberg, J.; Gajewsky, M.:
  Using High-Level Replacement Systems to preserve Safety Properties in Place/Transition Net Transformations. 1998.

• Padberg, Julia; Gajewsky, Maike; Hoffmann, Kathrin:
  Incremental Development of Safety Properties in Petri Net Transformations. 1998.

• Padberg, Julia:
  Classification of Petri Nets Using Adjoint Functors. 1998.

• Ehrig, H.; Gajewsky, M.; Lembke, S.; Padberg, J.:
  Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application. 1997.

• Ehrig, H.; Gajewsky, M.; Padberg, J.:
  Action Nets and Abstract Statecharts in the Theory of High-Level Replacement Systems. 1997.

• Padberg, J.; Gajewsky, M.; Ermel, C.:
  Expanding the Use of Structuring: Formal Justification for Working on Subnets. 1997.

• Ehrig, H.; Padberg, J.:
  A uniform approach to Petri nets. 1997.

• Ehrig, H.; Geisler, R.; Klar, M.; Padberg, J.:
  Horizontal and Vertical Structuring Techniques for Statecharts. 1997.

• Ehrig, Hartmut; Merten, Anne; Padberg, Julia:
  How to Transfer Concepts of Abstract Data Types to Petri Nets?. 1997.

• Ermel, Claudia; Padberg, Julia; Ehrig, Hartmut:
  Requirements Engineering of a Medical Information System. 1996.

• Padberg, Julia:
  Abstract Petri Nets: Uniform Approach and Rule-Based Refinement. 1996.

• Padberg, J.:
  An outline of rule-based refinement for Petri nets. 1996.

• Padberg, Julia:
  Abstract Data Type Semantics for Algebraic High-Level Nets Using Dynamic Abstract Data Types. 1995.

• Padberg, Julia; Ehrig, H.; Ribiero, L.:
  Algebraic High-Level Net Transformation Systems. 1995.

Back to the Petri Nets Bibliography