Universität Münster
CRIS@UM
DE | EN

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 reviewed

Details 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
DOI: 10.1007/978-3-030-55754-6_23
Stichwörter: hybrid Petri nets; stochastic hybrid automata

Autor*innen der Universität Münster

da Silva, Carina
Professur für Praktische Informatik (Prof. Remke)
Krause, Maurice
Institut für Informatik
Remke, Anne
Professur für Praktische Informatik (Prof. Remke)