@phdthesis{Rohr, author = {Rohr, Christian}, title = {Simulative analysis of coloured extended stochastic Petri nets}, address = {Cottbus}, pages = {171}, language = {en} }