Publications

2017

[bibtex]
Jannik Hüls, Stefan Schupp, Anne Remke, Erika Abraham. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. Proc. of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'17), , 2017.
2014
Link
[bibtex]
Erika Abraham, Alberto Avritzer, Anne Remke, William H. Sanders editors. Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Volume 4 of Dagstuhl Reports, 2014.