MARCIE manual

  • 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.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author: Martin Schwarick, Christian Rohr, Monika Heiner
Series (Serial Number):Computer science reports / Institut für Informatik (2016,02)
Document Type:Report
Year of Completion:2016
Release Date:2017/04/07
Tag:Model checking; Petri nets
GND Keyword:Model Checking; Petri-Netz
Institutes:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / Institut für Informatik
Licence (German):Keine Lizenz vergeben. Es gilt das deutsche Urheberrecht.