@phdthesis{Rohr2017, author = {Christian Rohr}, title = {Simulative analysis of coloured extended stochastic Petri nets}, type = {doctoralthesis}, pages = {171}, url = {https://opus4.kobv.de/opus4-btu/files/4147/Rohr_Christian.pdf}, year = {2017}, }