TY - THES A1 - Schwarick, Martin T1 - Symbolic on-the-fly analysis of stochastic Petri nets Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-30560 UR - http://opus4.kobv.de/opus4-btu/files/3056/Martin_Schwarick.pdf ER -