Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro

Jannik Hüls; Stefan Schupp; Anne Remke; Erika Abraham

11th EAI International Conference on Performance Evaluation Methodologies and Tools

Research Article

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/eai.5-12-2017.2274580,
    author={Jannik  H\'{y}ls and Stefan  Schupp and Anne  Remke and Erika  Abraham},
    title={Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro},
    proceedings={11th EAI International Conference on Performance Evaluation Methodologies and Tools},
    publisher={ACM},
    proceedings_a={VALUETOOLS},
    year={2018},
    month={8},
    keywords={hybrid petri nets symbolic analysis convex polyhedra hypro},
    doi={10.4108/eai.5-12-2017.2274580}
}

Jannik Hüls
Stefan Schupp
Anne Remke
Erika Abraham
Year: 2018
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
VALUETOOLS
ACM
DOI: 10.4108/eai.5-12-2017.2274580

Jannik Hüls¹^,*, Stefan Schupp², Anne Remke¹, Erika Abraham²

1: Westfälische Wilhelms-Universität Münster
2: RWTH Aachen University

*Contact email: jannik.huels@uni-muenster.de

Abstract

Two approaches have been presented for the analysis of HPnGs, (i) a tree-based approach and (ii) a state-space representation based on computational geometry. We present a translation of the tree-based representation into a geometric representation using the C++ library HyPro, which has been developed for the analysis of hybrid automata. This allows the representation and efficient and accurate analysis of HPnGs with multiple stochastic firings.

Keywords: hybrid petri nets symbolic analysis convex polyhedra hypro

Published: 2018-08-10
Publisher: ACM

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