Abstract
hpnmg is a tool for model checking Hybrid Petri nets with an arbitrary but finite number of general transition firings against specifications formulated in STL. The tool efficiently implements and combines algorithms for state space creation, transformation to a geometric representation, model checking a potentially nested STL formula and integrating over the resulting satisfaction set to yield the probability that the specification holds at a specific time.
Author supplied keywords
Cite
CITATION STYLE
Hüls, J., Niehaus, H., & Remke, A. (2020). hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12229 LNCS, pp. 369–378). Springer. https://doi.org/10.1007/978-3-030-55754-6_22
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
