@phdthesis{Schwarick, author = {Schwarick, Martin}, title = {Symbolic on-the-fly analysis of stochastic Petri nets}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-30560}, pages = {XVII, 225}, language = {en} }