TY - THES A1 - Rohr, Christian T1 - Simulative analysis of coloured extended stochastic Petri nets Y1 - 2017 UR - https://opus4.kobv.de/opus4-btu/files/4147/Rohr_Christian.pdf CY - Cottbus ER -