Nutzung erweiterter Petrinetze bei der Entwicklung von Kommunikationssoftware verteilter Systeme. - Peter Leipner (1988)