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