Paper Info
Title
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.
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.
Year
DOI
Venue
2017
10.1145/3150928.3150938
VALUETOOLS 2017: 11th EAI International Conference on Performance Evaluation Methodologies and Tools Venice Italy December, 2017
Field
DocType
ISBN
Petri net,Computer science,Computational geometry,Automaton,Theoretical computer science,Geometric representation,Symbolic data analysis,Distributed computing
Conference
978-1-4503-6346-4
Citations 
PageRank 
References 
0
0.34
10
Authors
4
Name
Order
Citations
PageRank
Jannik Hüls132.07
Stefan Schupp251.14
Anne Remke317523.96
Erika Ábrahám483063.17