State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
Hüls. Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Parker, David; Wolf, Verena
Book title: Quantitative Evaluation of Systems
Page range: 182-199
Publisher: Springer
Place of publication: Cham
Title of series: LNCS
Volume of series: 11785
Status: Published
Release year: 2019
Language in which the publication is written: English
Conference: 16th International Conference on Quantitative Evaluation of Systems, QEST 2019, Glasgow, United Kingdom
Keywords: Petri nets; Stochastic hybrid model; Transient probability
Authors from the University of Münster
| da Silva, Carina | |
| Delicaris, Joanna Georgia | |
| Hüls, Jannik | |
| Remke, Anne |