• home

• contact

• members

• teaching

• research

• publications

• software

• events

Dr. rer. nat. Christian Rohr

latest update: October 04, 2017, at 01:05 PM

Contact

Short Biography

Teaching

Introduction into concurrency
Software Testing
Modeling and Analysis of Concurrent Systems with Petri Nets
Praktikum Softwarevalidation

Research interests

Simulation and Analysis Techniques for Systems Biology

• probabilistic model checking of stochastic Petri nets:
  Marcie, an analysis tool for Generalized Stochastic Petri Nets (SPN);
• modelling with (coloured) Petri nets:
  Snoopy, a generic tool to construct hierarchical (coloured) Petri nets;
• analysis of Petri nets:
  Charlie, a Petri net analyser

Former projects

NoPain
MOPS – Modelling Pain Switches

Publications

41 entries

• [SRL+20]
  M Schwarick and C Rohr, F Liu, G Assaf, J Chodak, M Heiner:
  Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams;
  In Proc. PETRI NETS 2020, Paris, Springer, Cham, LNCS, volume 12152, pages 324-344, June 2020. [ doi ] [ BibTeX ]
• [SRL+20a.sld]
  M Schwarick, C Rohr, F Liu, G Assaf, J Chodak and M Heiner:
  Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams;
  Talk, PETRI NETS 2020, Paris, June 2020. [ pdf ] [ BibTeX ]
• [SRL+20b.sld]
  M Schwarick, C Rohr, F Liu, G Assaf, J Chodak and M Heiner:
  Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams - Teaser;
  Talk, PETRI NETS 2020, Paris, June 2020. [ pdf ] [ BibTeX ]
• [GHR18]
  D Gilbert, M Heiner and Christian Rohr:
  Petri-net-based 2D Design of DNA Walker Circuits;
  Natural Computing, 17(1):161–182, 2018 (accepted: November 20, 2017; online February 28, 2018). [ doi ] [ BibTeX ]
• [R17]
  Rohr, C:
  Discrete-Time Leap Method For Stochastic Simulation;
  Fundamenta Informaticae, 160(1-2):181-198, 2018 (accepted: May 16, 2017). [ doi ] [ BibTeX ]
• [HLRH18]
  M Herajy, F Liu, C Rohr and M Heiner:
  Coloured Hybrid Petri Nets: an Adaptable Modelling Approach for Multi-scale Biological Networks;
  Computational Biology and Chemistry, 76:87-100, 2018. [ doi ] [ BibTeX ]
• [BR17]
  MA Blätke and Rohr, C:
  BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems based on Modular Models;
  Fundamenta Informaticae, 160(1-2):221-254, 2018 (accepted: May 16, 2017). [ doi ] [ BibTeX ]
• [GHJR17]
  D Gilbert, M Heiner, Y Jayaweera and C Rohr:
  Towards dynamic genome scale models;
  Briefings in Bioinformatics, 2017 (online: October 13, 2017). [ doi ] [ BibTeX ]
• [HLRH17.manual]
  M Herajy, F Liu, C Rohr and M Heiner:
  (Coloured Hybrid Petri Nets in Snoopy - User Manual;
  Technical report 01-17, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2017. [ url ] [ BibTeX ]
• [Rohr17]
  Christian Rohr:
  Simulative analysis of coloured extended stochastic Petri nets;
  PhD thesis, BTU Cottbus, Dep. of CS, January 2017. [ pdf ] [ BibTeX ]
• [HLRH17]
  M Herajy, F Liu, C Rohr and M Heiner:
  Snoopy's Hybrid Simulator: a Tool to Construct and Simulate Hybrid Biological Models;
  BMC Systems Biology, 2017 (published: July 28, 2017). [ url ] [ doi ] [ BibTeX ]
• [Rohr16]
  Rohr, C:
  Discrete-Time Leap Method For Stochastic Simulation;
  In Proc. Int. Workshop on Biological Processes & Petri Nets (BioPPN 2016), CEUR-WS.org, CEUR Workshop Proceedings, volume 1591, pages 362–376, June 2016. [ url ] [ pdf ] [ BibTeX ]
• [HRST16]
  M Heiner, C Rohr, M Schwarick and A Tovchigrechko:
  MARCIE’s secrets of efficient model checking;
  Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XI, LNCS 9930, 2016 (accepted: March 11, 2016). [ url ] [ doi ] [ BibTeX ]
• [SRH16]
  M Schwarick, C Rohr and M Heiner:
  MARCIE Manual;
  Technical report 02-16, Brandenburg University of Technology Cottbus, Department of Computer Science, December 2016. [ url ] [ pdf ] [ BibTeX ]
• [BR15]
  MA Blätke, C Rohr:
  A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit;
  In Proc. Int. Workshop on Biological Processes & Petri Nets (BioPPN 2015), CEUR-WS.org, CEUR Workshop Proceedings, volume 1373, pages 37–54, June 2015. [ url ] [ pdf ] [ BibTeX ]
• [R14c.mcc]
  C Rohr:
  ERK signalling pathway, a Petri net model;
  Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
• [R14b.mcc]
  C Rohr:
  Circadian Clock, a Petri net model;
  Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
• [R14a.mcc]
  C Rohr:
  Angiogenesis, a Petri net model;
  Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
• [HLR14]
  M Herajy, F Liu and C Rohr:
  Coloured hybrid Petri nets for systems biology;
  In Proc. of the 5th International Workshop on Biological Processes & Petri Nets (BioPPN), satellite event of PETRI NETS 2014, CEUR-WS.org, CEUR Workshop Proceedings, volume 1159, pages 60-76, June 2014. [ url ] [ pdf ] [ BibTeX ]
• [BRHM14]
  MA Blätke, C Rohr, M Heiner and W Marwan:
  A Petri Net based Framework for Biomodel Engineering;
  In Large-Scale Networks in Engineering and Life Sciences, (Benner, P, Findeisen, R, Flockerzi, D, Reichl, U and Sundmacher, K, Eds.), Springer, Birkhäuser Mathematics, pages 317–366, December 2014. [ doi ] [ BibTeX ]
• [HRS13.sld]
  M Heiner, C Rohr and M Schwarick:
  MARCIE - Model checking And Reachability analysis done effiCIEntly;
  Talk, PETRI NETS 2013, Milano, June 2013. [ pdf ] [ BibTeX ]
• [HRS13.poster]
  M Heiner, C Rohr and M Schwarick:
  Petri net based system analysis;
  Poster, 2013. [ pdf ] [ BibTeX ]
• [HRS13]
  M Heiner, C Rohr and M Schwarick:
  MARCIE - Model checking And Reachability analysis done effiCIEntly;
  In Proc. PETRI NETS 2013, Milano, Springer, LNCS, volume 7927, pages 389–399, June 2013. [ url ] [ pdf ] [ doi ] [ BibTeX ]
• [Rohr13]
  C Rohr:
  Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators;
  ToPNoC VIII, LNCS 8100, 2013. [ doi ] [ BibTeX ]
• [BDR+13]
  MA Blätke, A Dittrich, C Rohr, M Heiner, F Schaper and W Marwan:
  JAK/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology;
  Molecular BioSystems, 9(6):1290-1307, 2013. [ url ] [ doi ] [ BibTeX ]
• [HRS12]
  M Heiner, C Rohr and M Schwarick:
  Petri net based system analysis;
  Poster, 2012. [ pdf ] [ BibTeX ]
• [HH+12]
  M Heiner, M Herajy, F Liu, C Rohr and M Schwarick:
  Snoopy – a unifying Petri net tool;
  In Proc. PETRI NETS 2012, Hamburg, Springer, LNCS, volume 7347, 398–407, June 2012. [ url ] [ doi ] [ BibTeX ]
• [LHR12.manual]
  F Liu, M Heiner and C Rohr:
  Manual for Colored Petri Nets in Snoopy;
  Technical report 02-12, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2012. [ pdf ] [ BibTeX ]
• [HH12+.sld]
  M Heiner, M Herajy, F Liu, C Rohr and M Schwarick:
  Snoopy – a unifying Petri net tool;
  Talk, PETRI NETS 2012, Hamburg, June 2012. [ pdf ] [ BibTeX ]
• [Rohr12.sld]
  C Rohr:
  Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators;
  Talk, 3rd International Workshop on Biological Processes & Petri Nets (BioPPN), satellite event of Petri Nets 2012, Hamburg, June 2012. [ pdf ] [ BibTeX ]
• [MRH12]
  W Marwan, C Rohr and M Heiner:
  Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks;
  In Methods in Molecular Biology – Bacterial Molecular Networks, (Jv Helden, A Toussaint and D Thieffry, Eds.), Humana Press, pages 409–437, 2012. [ pdf ] [ doi ] [ BibTeX ]
• [Rohr12.poster]
  C Rohr:
  Simulative  Model  Checking  of Colored  Stochastic  Petri  Nets; IGS/ZUSYS, 2012;
  Poster, 2012. [ pdf ] [ BibTeX ]
• [Rohr12]
  C Rohr:
  Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators;
  In Proc. of the 3rd International Workshop on Biological Processes & Petri Nets (BioPPN), satellite event of PETRI NETS 2012, CEUR-WS.org, CEUR Workshop Proceedings, volume 852, pages 62-75, June 2012. [ url ] [ pdf ] [ BibTeX ]
• [RMH11]
  C Rohr, M Heiner and W Marwan:
  Stochastic Modelling and Simulation of Biochemical Networks; IMPRS evaluation, November 2011;
  Poster, 2011. [ pdf ] [ BibTeX ]
• [SRH11.sld]
  M Schwarick, C Rohr and M Heiner:
  MARCIE - Model checking And Reachability analysis done effiCIEntly;
  Talk, QEST 2011, Aachen, September 2011. [ pdf ] [ BibTeX ]
• [HRS11]
  M Heiner, C Rohr and M Schwarick:
  Petri net based system analysis;
  Poster, 2011. [ pdf ] [ BibTeX ]
• [SRH11]
  M Schwarick , C Rohr and M Heiner:
  MARCIE - Model checking And Reachability analysis done effiCIEntly;
  In Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST 2011), Aachen, Germany, IEEE CS Press, pages 91–100, September 2011. [ url ] [ pdf ] [ BibTeX ]
• [HRSS10]
  M Heiner, C Rohr, M Schwarick and S Streif:
  A Comparative Study of Stochastic Analysis Techniques;
  In Proc. 8th International Conference on Computational Methods in Systems Biology (CMSB 2010), Trento, ACM digital library, pages 96–106, September 2010. [ pdf ] [ doi ] [ BibTeX ]
• [RMH10]
  C Rohr, W Marwan and M Heiner:
  Snoopy - a unifying Petri net framework to investigate biomolecular networks;
  Bioinformatics, 26(7):974–975, 2010 ((Advanced Access: February 7, 2010)). [ url ] [ doi ] [ BibTeX ]
• [Rohr10]
  C Rohr:
  Simulative CSL model checking of Stochastic Petri nets in IDD-MC;
  In Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), CEUR-WS.org, CEUR Workshop Proceedings, volume 643, pages 88–93, October 2010. [ pdf ] [ BibTeX ]
• [HRRS08]
  M Heiner, R Richter, C Rohr and M Schwarick:
  Snoopy – A Tool to Design and Animate/Simulate Graph-Based Formalisms;
  In Petri Net Newsletter, GI, pages 8–22, April 2008 (This paper is an extended version of Proc. PNTAP 2008). [ pdf ] [ BibTeX ]