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
Publisher: Parker, David; Wolf, Verena
Book title: Quantitative Evaluation of Systems
Page range: 182-199
Publishing company: 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 | Professorship for practical computer science (Prof. Remke) |
| Delicaris, Joanna Georgia | FB10 - Faculty of Mathematics and Computer Science (FB10) |
| Hüls, Jannik | Professorship for practical computer science (Prof. Remke) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |