State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne
Forschungsartikel (Zeitschrift) | Peer reviewedDetails zur Publikation
Fachzeitschrift: ACM Transactions on Modeling and Computer Simulation
Jahrgang / Bandnr. / Volume: 31
Ausgabe / Heftnr. / Issue: 3
Seitenbereich: 1-37
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
DOI: 10.1145/3449353
Stichwörter: transient probability; stochastic hybrid model; multi-dimensional integration; Petri nets
Autor*innen der Universität Münster
| da Silva, Carina | Professur für Praktische Informatik (Prof. Remke) |
| Delicaris, Joanna Georgia | Fachbereich 10 Mathematik und Informatik (FB10) |
| Hüls, Jannik | Professur für Praktische Informatik (Prof. Remke) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |