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

Authors from the University of Münster

Hüls, Jannik
Remke, Anne