Petri net based description, analysis and simulation of concurrent processes