Algorithmische Synthese deterministischer (Petri-) Netze aus Ablaufbeschreibungen digitaler Systeme - Camposano, Raúl; Rosenstiel, Wolfgang 1954-2020 (Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht, 1980)