Publications of Christian Rohr

Rohr, C.A unifying Petri net framework for multi-scale modellingPresented at: Dagstuhl Seminar 14481 “Multiscale Spatial Computational Systems Biology”Wadern, Germany, November 23, 2014.

Schwarick, M., Heiner, M., & Rohr, C.MARCIE - Model Checking and Reachability Analysis Done EffiCIEntlyPresented at: International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2013Milano, Italy, June 24, 2013.

Heiner, M., Herajy, M., Liu, F., Rohr, C., & Schwarick, M.Snoopy – A Unifying Petri Net ToolPresented at: 33rd. International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2012Hamburg, Germany, June 25, 2012.

Rohr, C.Simulative Model Checking of Steady-State and Time-Unbounded Temporal OperatorsPresented at: 3rd International Workshop on Biological Processes & Petri Nets (BioPPN 2012)Hamburg, Germany, June 25, 2012.

Heiner, M., Rohr, C., & Schwarick, M.MARCIE - Model Checking and Reachability Analysis Done EffiCIEntlyPresented at: 8th International Conference on Quantitative Evaluation of SysTemsAachen, Germany , September 5, 2011.

Rohr, C.Simulative CSL model checking of Stochastic Petri nets in IDD-MCPresented at: 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010)Cottbus, Germany, October 7, 2010.

Rohr, C. (2017)Simulative Analysis of Coloured Extended Stochastic Petri NetsPhD Thesis, Brandenburgische Technische Universität Cottbus-Senftenberg, Cottbus.