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