Äquivalenzuntersuchungen an diskreten Systemen im Petrinetz-Modell. - Peter Kosack (1989)