Ein integriertes Steuerungsentwurfs- und Verifikationskonzept mit Hilfe interpretierter Petri-Netze. - Carsten Jörns (VDI-Verlag, 1997)