Rammig, Franz Josef: Petri net based description, analysis and simulation of concurrent processes. . In: ACM SIGDA Newsletters. Jg.1977, S.1527