A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
Pilch, Carina; Krause, Maurice; Remke, Anne; Ábrahám, Erika
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Lee, Ritchie; Jha, Susmit; Mavridou, Anastasia
Buchtitel: NASA Formal Methods
Seitenbereich: 381-400
Verlag: Springer
Erscheinungsort: Cham
Titel der Reihe: Lecture Notes in Computer Science (LNCS) (ISSN: 0302-9743)
Nr. in Reihe: 12229
Status: Veröffentlicht
Veröffentlichungsjahr: 2020
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 12th NASA Formal Methods Symposium, NFM 2020, Moffett Field, CA, Vereinigte Staaten
ISBN: 978-3-030-55753-9
Stichwörter: hybrid Petri nets; stochastic hybrid automata
Autor*innen der Universität Münster
| da Silva, Carina | |
| Krause, Maurice | |
| Remke, Anne |