Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings
Pilch, Carina; Hartmanns, Arnd; Remke, Anne
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedZusammenfassung
Details zur Publikation
Herausgeber*innen: ACM
Buchtitel: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Seitenbereich: 1-11
Artikelnummer: 10
Verlag: ACM Press
Erscheinungsort: New York, NY, USA
Titel der Reihe: HSCC '20
Status: Veröffentlicht
Veröffentlichungsjahr: 2020
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, Australien
Stichwörter: hybrid Petri nets with general transitions; nondeterminism; prophetic schedulers; reachability analysis; stochastic hybrid systems
Autor*innen der Universität Münster
| da Silva, Carina | |
| Remke, Anne |