The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability

Niehage, Mathis; Remke, Anne

Research article in edited proceedings (conference)

Abstract

Efficient reachability analysis, as well as statistical model checking have been proposed for the evaluation of Hybrid Petri nets with general transitions (HPnG). Both have different (dis-)advantages. The performance of statistical simulation suffers in large models and the number of required simulation runs to achieve a relatively small confidence interval increases considerably. The approach introduced for analytical reachability analysis of HPnGs however, becomes infeasible for a large number of random variables. To overcome these limitations, this paper applies statistical simulation for optimal reachability defined as until property in Stochastic Time Logic to a pre-computed symbolic state-space representation of HPnGs, i.e., the Parametric Location Tree (PLT), which has previously been used for model checking HPnGs. A case study on a water tank model shows the feasiblity of the approach and illustrates its advantages w.r.t. the original simulation and analysis approaches.

Details zur Publikation

Publisher: Kalyvianaki, Evangelia; Paolieri, Marco
Book title: Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings
Release year: 2024
Publishing company: Springer Science and Business Media Deutschland GmbH
ISBN: 9783031488849
Language in which the publication is written: English
Event: Cham