10402 Jo''rg Desel/Thomas Freytag: A partial-order-based simulation
and validation approach for high-level Petri nets.
Internet ca. 1997, 6p.

10440 Jo''rg Desel/Ekkart Kindler: Proving correctness of distributed
algorithms - a Petri net approach. Internet ca. 1997, 16p.

10386 Hartmut Ehrig/Julia Padberg/Leila Ribeiro: Algebraic high level
nets. Springer LN CS 785 (1994), 188-206.

Julia Padberg: Abstract datatype semantics for algebraic high-level
nets using dynamic abstract datatypes.
Proc. Int. Workshop Quality Comm. Based Systems Kluwer 1995, 1-18.

Julia Padberg/Hartmut Ehrig/Leila Ribeiro: Algebraic high-level
net transformation systems.
Math. Structures Comp. Sci. 5 (1995), 217-256.