11th EAI International Conference on Performance Evaluation Methodologies and Tools

Research Article

HYPEG: Statistical Model Checking for hybrid Petri nets

  • @INPROCEEDINGS{10.4108/eai.5-12-2017.2274581,
        author={Carina  Pilch and Fabian  Edenfeld and Anne  Remke},
        title={HYPEG: Statistical Model Checking for hybrid Petri nets},
        proceedings={11th EAI International Conference on Performance Evaluation Methodologies and Tools},
        publisher={ACM},
        proceedings_a={VALUETOOLS},
        year={2018},
        month={8},
        keywords={tool hybrid petri nets discrete-event simulation statistical model checking confidence intervals hypothesis tests},
        doi={10.4108/eai.5-12-2017.2274581}
    }
    
  • Carina Pilch
    Fabian Edenfeld
    Anne Remke
    Year: 2018
    HYPEG: Statistical Model Checking for hybrid Petri nets
    VALUETOOLS
    ACM
    DOI: 10.4108/eai.5-12-2017.2274581
Carina Pilch1,*, Fabian Edenfeld1, Anne Remke1
  • 1: Westfälische Wilhelms-Universität Münster
*Contact email: carina.pilch@uni-muenster.de

Abstract

We present the tool HYPEG, i.e., a simulator for hybrid Petri nets with general transitions, which uses discrete-event simulation and Statistical Model Checking techniques. The implementation of HYPEG is discussed and several hypothesis tests as well as approaches for the computation of confidence intervals are discussed. Using a simple case study on a cooling tower of a generating plant, we compare the results and performances of the different methods.