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
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.
Copyright © 2017–2024 ACM