Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro

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

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

BuchtitelProceedings of the 11th {EAI} International Conference on Performance Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy, December 05-07, 2017
Seitenbereich178-185
StatusVeröffentlicht
Veröffentlichungsjahr2017
Sprache, in der die Publikation verfasst istEnglisch
KonferenzInternational Conference on Performance Evaluation Methodologies and Tools, Venedig, Italien, undefined
DOI10.1145/3150928.3150938
Link zum Volltexthttps://doi.org/10.1145/3150928.3150938

Autor*innen der Universität Münster

Hüls, Jannik
Professur für Praktische Informatik (Prof. Remke)
Remke, Anne
Professur für Praktische Informatik (Prof. Remke)