Funktionale Äquivalenz von Petri-Netzen - Schreiber, Gerlinde (1994)
Oldenburg, Univ., Diss., 1994