Publikationen von Christian Rohr

Rohr, C.: A unifying Petri net framework for multi-scale modelling. Dagstuhl Seminar 14481 “Multiscale Spatial Computational Systems Biology”, Wadern, Germany (2014)

Schwarick, M.; Heiner, M.; Rohr, C.: MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2013, Milano, Italy (2013)

Heiner, M.; Herajy, M.; Liu, F.; Rohr, C.; Schwarick, M.: Snoopy – A Unifying Petri Net Tool. 33rd. International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2012, Hamburg, Germany (2012)

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

Heiner, M.; Rohr, C.; Schwarick, M.: MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. 8th International Conference on Quantitative Evaluation of SysTems, Aachen, Germany (2011)

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

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