HYPEG: Statistical Model Checking for hybrid Petri nets

Carina Pilch; Fabian Edenfeld; Anne Remke

11th EAI International Conference on Performance Evaluation Methodologies and Tools

Research Article

HYPEG: Statistical Model Checking for hybrid Petri nets

Cite: BibTeX Plain Text

@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 Pilch¹^,*, Fabian Edenfeld¹, Anne Remke¹

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.

Keywords: tool hybrid petri nets discrete-event simulation statistical model checking confidence intervals hypothesis tests

Published: 2018-08-10
Publisher: ACM

: http://dx.doi.org/10.4108/eai.5-12-2017.2274581

HYPEG: Statistical Model Checking for hybrid Petri nets

Abstract

About EAI

Community

Publish with EAI