Keyword: high-level nets

• Mäkelä, Marko:
  Model Checking Safety Properties in Modular High-Level Nets. 2003.

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

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

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