Publications of Christian Rohr

Blätke, M. A., Dittrich, A., Rohr, C., Heiner, M., Schaper, F., & Marwan, W. (2013)JAK/STAT signalling – an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biologyMolecular BioSystems, 9 (6), 1290–1307doi: 10.1039/C3MB25593J.

Rohr, C., Marwan, W., & Heiner, M. (2010)Snoopy - a unifying Petri net framework to investigate biomolecular networksBioinformatics, 26 (7), 974–975doi: 10.1093/bioinformatics/btq050.

Heiner, M., Richter, R., Rohr, C., & Schwarick, M. (2008)Snoopy - A Tool to Design and Execute Graph-Based Formalisms. [Extended Version]Petri Net Newsletter, 74 (April), 8–22.

Heiner, M., Rohr, C., Schwarick , M., & Tovchigrechko, A. A. (2016)MARCIE’s Secrets of Efficient Model CheckingTransactions on petri nets and other models of concurrency XI. Lecture Notes in Computer Science286–296Berlin, Heidelberg: Springerdoi: 10.1007/978-3-662-53401-4_14.

Blätke, M. A., Rohr, C., Heiner, M., & Marwan, W. (2014)A Petri-Net-Based Framework for Biomodel EngineeringLarge-Scale Networks in Engineering and Life Sciences317–366Cham: Springer International Publishingdoi: 10.1007/978-3-319-08437-4_6.

Rohr, C. (2013)Simulative Model Checking of Steady-State and Time-Unbounded Temporal OperatorsTransactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science142–158.

Marwan, W., Rohr, C., & Heiner, M. (2012)Petri Nets in Snoopy: A Unifying Framework for the Graphical Display, Computational Modelling, and Simulation of Bacterial Regulatory NetworksBacterial Molecular Networks. Methods in Molecular Biology409–437New York, NY: Springerdoi: 10.1007/978-1-61779-361-5_21.

Rohr, C. (2016)Discrete-Time Leap Method For Stochastic SimulationIn: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. CEUR Workshop Proceedings, 362–376.

Beccuti, M., Blätke, M. A., Falk, M., Hardy, S., Heiner, M., Maus, C., Nähring, C., & Rohr, C. (2015)Dictyostelium discoideum: Aggregation and Synchronisation of Amoebas in Time and SpaceIn: Dagstuhl Reports, 195–214.

Blätke, M. A. & Rohr, C. (2015)A coloured Petri net approach for spatial Biomodel Engineering based on the modular model composition framework BiomodelkitIn: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), 37–54.

Cordero, F., Gambin, A., Kierzek, A., Madelaine, G., Niehren, J., Rohr, C., & Wronowska, W. (2015)Multiscale modeling of S1P metabolism, secretion and signalingIn: Dagstuhl Reports, 195–214doi: 10.4230/DagRep.4.11.138.

Herajy, M., Liu, F., & Rohr, C. (2014)Coloured hybrid Petri nets for systems biologyIn: BioPPN 2014, a satellite event of PETRI NETS 2014. CEUR Workshop Proceedings, 60–76.

Heiner, M., Rohr, C., & Schwarick , M. (2013)MARCIE – Model Checking and Reachability Analysis Done EfficientlyIn: Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. Lecture Notes in Computer Science, 389–399doi: 10.1007/978-3-642-38697-8_21.

Heiner, M., Herajy, M., Liu, F., Rohr, C., & Schwarick , M. (2012)Snoopy – A Unifying Petri Net ToolIn: Application and Theory of Petri Nets. PETRI NETS 2012. Lecture Notes in Computer Science, 398–407doi: 10.1007/978-3-642-31131-4_22.

Rohr, C. (2012)Simulative Model Checking of Steady-State and Time-Unbounded Temporal OperatorsIn: Proceedings of the 3rd International Workshop on Biological Processes & Petri Nets, a satellite event of PETRI NETS 2012. CEUR Workshop Proceedings, 62–75.

Schwarick , M., Heiner, M., & Rohr, C. (2011)MARCIE - Model Checking and Reachability Analysis Done EffiCIEntlyIn: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), 91–100doi: 10.1109/QEST.2011.19.

Heiner, M., Rohr, C., Schwarick , M., & Streif, S. (2010)A comparative study of stochastic analysis techniquesIn: CMSB '10 Proceedings of the 8th International Conference on Computational Methods in Systems Biology, 96–106doi: 10.1145/1839764.1839776.

Rohr, C. (2010)Simulative CSL model checking of Stochastic Petri nets in IDD-MCIn: Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010). CEUR Workshop Proceedings, 88–93.

Rohr, C.Discrete-time leap method for stochastic simulationPresented at: 7th International Workshop on Biological Processes & Petri Nets (BioPPN 2016)Toruń, Poland, June 20, 2016.

Blätke, M. A. & Rohr, C.A coloured Petri net approach for spatial Biomodel Engineering based on the modular model composition framework BiomodelkitPresented at: 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)Brussels, Belgium , June 22, 2015.