Rohr, C. (2017). Simulative Analysis of Coloured Extended Stochastic Petri Nets. PhD Thesis, Brandenburgische Technische Universität Cottbus-Senftenberg, Cottbus.