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

Publications

2019

J. Delicaris, "Extending Hybrid Petri nets with non-deterministic rates", Master's thesis, University of Münster, Germany, 2019.

J. Hüls, C. Pilch, P. Schinke, J. Delicaris and A. Remke, "State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings", 2019 16th International Conference on Quantitative Evaluation Systems (QEST), Glasgow, UK. Springer, 2019, pp. 182-199"

Teaching

Winter Term 2019/20

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)]