10392 Julia Padberg: An outline of rule-based refinement for Petri nets.
Internet 1996, 8p.

Julia Padberg: Abstract Petri nets. Uniform approach and rule-based
refinement. Dissertation TU Berlin. Shaker 1996.

Julia Padberg: An outline of rule-based refinements for Petri nets.
Proc. Coll. Formal Meth. Concurrency. GI 1996, ...