@phdthesis{Schwarick2017, author = {Martin Schwarick}, title = {Symbolic on-the-fly analysis of stochastic Petri nets}, type = {doctoralthesis}, pages = {XVII, 225}, url = {http://opus4.kobv.de/opus4-btu/files/3056/Martin_Schwarick.pdf}, year = {2017}, }