@phdthesis{Rohr2017, author = {Christian Rohr}, title = {Simulative analysis of coloured extended stochastic Petri nets}, type = {doctoralthesis}, school = {BTU Cottbus - Senftenberg}, year = {2017}, }