Analyse und Synthese diskret gesteuerter Systeme mit Petri-Netzen. - Werner Seiche (VDI-Verlag, 1991)