Petri-Netze. Grundlagen, Anwendungen, Theorie. /Petriho siete/. - STARKE, P.H (1980)