Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

Björn Frits Postema, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort, Hamed Ghasemieh

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
    124 Downloads (Pure)


    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++.
    Original languageUndefined
    Title of host publication17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2014
    Place of PublicationSwitzerland
    Number of pages5
    ISBN (Print)978-3-319-05358-5
    Publication statusPublished - 17 Mar 2014

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer International Publishing
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    • EWI-24675
    • Hybrid Petri nets
    • IR-91064
    • Critical Infrastructures
    • METIS-305868
    • Model Checking

    Cite this