Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings
Pilch, Carina; Hartmanns, Arnd; Remke, Anne
Research article in edited proceedings (conference) | Peer reviewedAbstract
Details about the publication
Editors: ACM
Book title: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Page range: 1-11
Article number: 10
Publisher: ACM Press
Place of publication: New York, NY, USA
Title of series: HSCC '20
Status: Published
Release year: 2020
Language in which the publication is written: English
Conference: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, Australia
Keywords: hybrid Petri nets with general transitions; nondeterminism; prophetic schedulers; reachability analysis; stochastic hybrid systems
Authors from the University of Münster
| da Silva, Carina | |
| Remke, Anne |