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
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Lee, Ritchie; Jha, Susmit; Mavridou, Anastasia
Book title: NASA Formal Methods
Page range: 381-400
Publisher: Springer
Place of publication: Cham
Title of series: Lecture Notes in Computer Science (LNCS) (ISSN: 0302-9743)
Volume of series: 12229
Status: Published
Release year: 2020
Language in which the publication is written: English
Conference: 12th NASA Formal Methods Symposium, NFM 2020, Moffett Field, CA, United States
ISBN: 978-3-030-55753-9
Keywords: hybrid Petri nets; stochastic hybrid automata
Authors from the University of Münster
| da Silva, Carina | |
| Krause, Maurice | |
| Remke, Anne |