Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams. - Martin Schwarick (AWPN, 2008)

Snoopy: a tool to design and animate/simulate graph-based formalisms. - Monika Heiner; Ronny Richter; Martin Schwarick (SimuTools, 2008)

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. - Monika Heiner; Martin Schwarick; Alexej Tovchigrechko (Petri Nets, 2009)

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. - Martin Schwarick; Monika Heiner (CMSB, 2009)

IDD-MC - A Model Checker for Bounded Stochastic Petri nets. - Martin Schwarick (AWPN, 2010)

A comparative study of stochastic analysis techniques. - Monika Heiner; Christian Rohr; Martin Schwarick; Stefan Streif (CMSB, 2010)

MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. - Martin Schwarick; Monika Heiner; Christian Rohr (QEST, 2011)

IDD-based model validation of biochemical networks. - Martin Schwarick; Alexej Tovchigrechko (Theor. Comput. Sci., 2011)

Snoopy - A Unifying Petri Net Tool. - Monika Heiner; Mostafa Herajy; Fei Liu 006; Christian Rohr; Martin Schwarick (Petri Nets, 2012)

Symbolic Model Checking of Stochastic Reward Nets. - Martin Schwarick (CS&P, 2012)

Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle. - Mostafa Herajy; Martin Schwarick; Monika Heiner (Trans. Petri Nets Other Model. Concurr., 2013)

Symbolic on-the-fly analysis of stochastic Petri nets. - Martin Schwarick (2014)

Charlie - An Extensible Petri Net Analysis Tool. - Monika Heiner; Martin Schwarick; Jan-Thierry Wegener (Petri Nets, 2015)

MARCIE's Secrets of Efficient Model Checking. - Monika Heiner; Christian Rohr; Martin Schwarick; Alexey A. Tovchigrechko (Trans. Petri Nets Other Model. Concurr., 2016)

Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams. - Martin Schwarick; Christian Rohr; Fei Liu 006; George Assaf; Jacek Chodak; Monika Heiner (Petri Nets, 2020)