Research interests

  • Dependability evaluation for critical infrastructures
  • Hybrid Petri nets (with general transitions) and their extensions
  • Coherence between Hybrid Petri nets and Hybrid Automata
  • Development of tools for the analysis of Hybrid Petri nets

hpnmg (C++)

Teaching

Winter Term 2019/20

Übung: Tutorial Modeling and analysis of dynamic systems [108032]
(in cooperation with Prof. Dr. Anne Remke)
[10.10.2019 - 30.01.2020 | 12:00 - 14:00 | wöchentlich | Do. | M A 201 (SR 2) | Joanna Delicaris]

Vorlesung: Modeling and analysis of dynamic systems [108030]
(in cooperation with Prof. Dr. Anne Remke)
[08.10.2019 - 21.01.2020 | 12:00 - 14:00 | wöchentlich | Di. | M B 6 (M 6)]
[11.10.2019 - 24.01.2020 | 12:00 - 14:00 | wöchentlich | Fr. | M B 6 (M 6)]