Publications of Christian Rohr

Talk (8)

2014
Talk
Rohr, C.: A unifying Petri net framework for multi-scale modelling. Dagstuhl Seminar 14481 “Multiscale Spatial Computational Systems Biology”, Wadern, Germany (2014)
2013
Talk
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)
2012
Talk
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)
Talk
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)
2011
Talk
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)
2010
Talk
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)

Thesis - PhD (1)

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