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.
|
Year | DOI | Venue |
---|---|---|
2017 | 10.1145/3150928.3150956 | VALUETOOLS 2017: 11th EAI International Conference on Performance Evaluation Methodologies and Tools
Venice
Italy
December, 2017 |
Field | DocType | ISBN |
Petri net,Computer science,Statistical model checking,Confidence interval,Computer engineering,Statistical hypothesis testing,Computation,Distributed computing,Discrete event simulation | Conference | 978-1-4503-6346-4 |
Citations | PageRank | References |
1 | 0.35 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carina Pilch | 1 | 4 | 1.73 |
Fabian Edenfeld | 2 | 1 | 0.35 |
Anne Remke | 3 | 175 | 23.96 |