Publications of Christian Rohr
All genres
Talk (8)
2014
Talk
A unifying Petri net framework for multi-scale modelling. Dagstuhl Seminar 14481 “Multiscale Spatial Computational Systems Biology”, Wadern, Germany (2014)
2013
Talk
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
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
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
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. 8th International Conference on Quantitative Evaluation of SysTems, Aachen, Germany (2011)
2010
Talk
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
Simulative Analysis of Coloured Extended Stochastic Petri Nets. Dissertation, Brandenburgische Technische Universität Cottbus-Senftenberg, Cottbus (2017)