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