TY - THES A1 - Schwarick, Martin T1 - Symbolic on-the-fly analysis of stochastic Petri nets Y1 - 2017 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/20711 UR - https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-30560 UR - http://opus4.kobv.de/opus4-btu/files/3056/Martin_Schwarick.pdf ER -