Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.
VALUETOOLS 2017: 11th EAI International Conference on Performance Evaluation Methodologies and Tools Venice Italy December, 2017(2017)
摘要
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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络