MARCIE swMATH ID: 12882 Software Authors: Heiner, Monika; Rohr, Christian; Schwarick, Martin Description: MARCIE – model checking and reachability analysis done efficiently. MARCIE is a tool for the analysis of generalized stochastic Petri nets which can be augmented by rewards. The supported analysis methods range from qualitative and quantitative standard properties to model checking of established temporal logics. MARCIE’s analysis engines for bounded Petri net models are based on Interval Decision Diagrams. They are complemented by simulative and approximative engines to allow for quantitative reasoning on unbounded models. Most of the quantitative analyses benefit from a multi-threaded implementation. This paper gives an overview on MARCIE’s functionality and architecture and reports on the recently added feature of CSRL and PLTLc model checking. Homepage: http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Marcie Keywords: generalized stochastic Petri nets; model checking; simulation Related Software: PRISM; SABRE; CADP; SPIN; MRMC; Bio-PEPA; NuSMV; SNOOPY; FDR3; LTSmin; TAPAAL; SBML Test Suite; INFAMY; Meddly; SMART_; GreatSPN; BIOCHAM; Breach; RoVerGeNe; Uppaal Cited in: 5 Publications Standard Articles 1 Publication describing the Software Year MARCIE -- model checking and reachability analysis done efficiently Heiner, Monika; Rohr, Christian; Schwarick, Martin 2013 all top 5 Cited by 22 Authors 2 Kwiatkowska, Marta Z. 1 Barbot, Benoît 1 Blätke, Mary Ann 1 Brim, Luboš 1 Češka, Milan 1 Dalsgaard, Andreas Engelbredt 1 Dannenberg, Frits 1 Enevoldsen, Søren 1 Fogh, Peter 1 Hahn, Ernst Moritz 1 Heiner, Monika 1 Jensen, Lasse S. 1 Jepsen, Tobias S. 1 Kaufmann, Isabella 1 Larsen, Kim Guldstrand 1 Marwan, Wolfgang 1 Nielsen, Søren M. 1 Olesen, Mads Christian 1 Pastva, Samuel 1 Rohr, Christian 1 Šafránek, David 1 Srba, Jiří Cited in 1 Serial 1 ACM Transactions on Modeling and Computer Simulation Cited in 4 Fields 4 Computer science (68-XX) 3 Biology and other natural sciences (92-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) Citations by Year