University of 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

Research article in edited proceedings (conference) | Peer reviewed

Details about the publication

Publisher: Lee, Ritchie; Jha, Susmit; Mavridou, Anastasia
Book title: NASA Formal Methods
Page range: 381-400
Publishing company: 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
DOI: 10.1007/978-3-030-55754-6_23
Keywords: hybrid Petri nets; stochastic hybrid automata

Authors from the University of Münster

da Silva, Carina
Professorship for practical computer science (Prof. Remke)
Krause, Maurice
Institute of Computer Science
Remke, Anne
Professorship for practical computer science (Prof. Remke)