Keyword: rule-based refinement

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

• 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:
  Abstract Petri Nets: Uniform Approach and Rule-Based Refinement. 1996.

Back to the Petri Nets Bibliography