@inproceedings{d07d052d2037413e99983a8446aea481,
title = "Fluid Survival Tool: A Model Checker for Hybrid Petri Nets",
abstract = "Recently, algorithms for model checking Stochastic Time Logic (STL) on Hybrid Petri nets with a single general one-shot transition (HPNG) have been introduced. This paper presents a tool for model checking HPNG models against STL formulas. A graphical user interface (GUI) not only helps to demonstrate and validate existing algorithms, it also eases use. From the output of the model checker, 2D and 3D plots can be generated. The extendable object-oriented tool has been developed using the Model-View-Controller and Facade patterns, Doxygen for documentation and Qt for GUI development written in C++.",
keywords = "EWI-24675, Hybrid Petri nets, IR-91064, Critical Infrastructures, METIS-305868, Model Checking",
author = "Postema, \{Bj{\"o}rn Frits\} and Remke, \{Anne Katharina Ingrid\} and Haverkort, \{Boudewijn R.H.M.\} and Hamed Ghasemieh",
year = "2014",
month = mar,
day = "17",
doi = "10.1007/978-3-319-05359-2\_18",
language = "English",
isbn = "9783319053585",
series = "Lecture Notes in Computer Science",
publisher = "Springer International Publishing AG",
editor = "K. Fischbach and U. Krieger",
booktitle = "Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance",
address = "Switzerland",
note = "International Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 2014, MMB\&DFT 2014 ; Conference date: 17-03-2014 Through 19-03-2014",
}