State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
Hüls. Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Parker, David; Wolf, Verena
Buchtitel: Quantitative Evaluation of Systems
Seitenbereich: 182-199
Verlag: Springer
Erscheinungsort: Cham
Titel der Reihe: LNCS
Nr. in Reihe: 11785
Status: Veröffentlicht
Veröffentlichungsjahr: 2019
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 16th International Conference on Quantitative Evaluation of Systems, QEST 2019, Glasgow, Vereinigtes Königreich
Stichwörter: Petri nets; Stochastic hybrid model; Transient probability
Autor*innen der Universität Münster
| da Silva, Carina | |
| Delicaris, Joanna Georgia | |
| Hüls, Jannik | |
| Remke, Anne |