Simulative CSL model checking of Stochastic Petri nets in IDD-MC. - Christian Rohr (AWPN, 2010)

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

Snoopy - a unifying Petri net framework to investigate biomolecular networks. - Christian Rohr; Wolfgang Marwan; Monika Heiner (Bioinform., 2010)

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

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

Raw Report on the Model Checking Contest at Petri Nets 2012 - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Lukasz Fronc; Lom-Messan Hillah; Niels Lohmann; Emmanuel Paviot-Adet; Franck Pommereau; Christian Rohr; Yann Thierry-Mieg; et al. (CoRR, 2012)

Model Checking Contest @ Petri Nets, Report on the 2013 edition. - Fabrice Kordon; Alban Linard; Marco Beccuti; Didier Buchs; Lukasz Fronc; Lom-Messan Hillah; Francis Hulin-Hubard; Fabrice Legond-Aubry; Niels Lohmann; Alexis Marechal; Emmanuel Paviot-Adet; Franck Pommereau; et al. (CoRR, 2013)

Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators. - Christian Rohr (Trans. Petri Nets Other Model. Concurr., 2013)

A Petri-Net-Based Framework for Biomodel Engineering. - Mary Ann Blätke; Christian Rohr; Monika Heiner; Wolfgang Marwan (Large-Scale Networks in Engineering and Life Sciences, 2014)

Coloured hybrid Petri nets for systems biology. - Mostafa Herajy; Fei Liu 006; Christian Rohr (BioPPN@Petri Nets, 2014)

A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit. - Mary Ann Blätke; Christian Rohr (BioPPN@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)

Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models. - Mostafa Herajy; Fei Liu 006; Christian Rohr; Monika Heiner (BMC Syst. Biol., 2017)

Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks. - Mostafa Herajy; Fei Liu 006; Christian Rohr; Monika Heiner (Comput. Biol. Chem., 2018)

BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models. - Mary Ann Blätke; Christian Rohr (Fundam. Informaticae, 2018)

Discrete-Time Leap Method For Stochastic Simulation. - Christian Rohr (Fundam. Informaticae, 2018)

Petri-net-based 2D design of DNA walker circuits. - David R. Gilbert; Monika Heiner; Christian Rohr (Nat. Comput., 2018)

Towards dynamic genome-scale models. - David R. Gilbert; Monika Heiner; Yasoda Jayaweera; Christian Rohr (Briefings Bioinform., 2019)

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)