TY - RPRT A1 - Schwarick, Martin A1 - Rohr, Christian A1 - Heiner, Monika T1 - MARCIE manual N2 - This manual gives an overview on MARCIE – Model Checking And Reachability analysis done effiCIEntly. MARCIE was originally developed as a symbolic model checker for stochastic Petri nets, building on its predecessor – IDDMC – Interval Decision Diagram based Model Checking – which has been previously developed for the qualitative analysis of bounded Place/Transition nets extended by special arcs. Over the last years the tool has been enriched to allow also quantitative analysis of extended stochastic Petri nets. We concentrate here on the user viewpoint. For a detailed introduction to the relevant formalisms, formal definitions and algorithms we refer to related literature. T3 - Computer science reports / Institut für Informatik - 2016,02 KW - Petri nets KW - Model checking KW - Model Checking KW - Petri-Netz Y1 - 2016 UR - https://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/4056 UR - https://nbn-resolving.org/urn:nbn:de:kobv:co1-opus4-40568 ER -