Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro

Hüls J, Schupp S, Remke A, Ábraham E

Research article in edited proceedings (conference) | Peer reviewed

Details about the publication

Book titleProceedings of the 11th {EAI} International Conference on Performance Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy, December 05-07, 2017
Page range178-185
StatusPublished
Release year2017
Language in which the publication is writtenEnglish
ConferenceInternational Conference on Performance Evaluation Methodologies and Tools, Venedig, Italien, undefined
DOI10.1145/3150928.3150938
Link to the full texthttps://doi.org/10.1145/3150928.3150938

Authors from the University of Münster

Hüls, Jannik
Professorship for practical computer science (Prof. Remke)
Remke, Anne
Professorship for practical computer science (Prof. Remke)