A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata

Pilch, Carina (Corresponding author); Krause, Maurice; Remke, Anne; Ábrahám, Erika

Cham, Switzerland : Springer (2020)
Contribution to a book, Contribution to a conference proceedings

In: NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / Ritchie Lee, Susmit Jha, Anastasia Mavridou (eds.)
Page(s)/Article-Nr.: 381-400