Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
复制标题
使用 HyPro 分析具有多次随机触发的混合 Petri 网
DOI：
10.1145/3150928.3150938
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
E. Ábrahám
中科院分区：
文献类型：
--
作者：
Jannik Hüls;Stefan Schupp;Anne Remke;E. Ábrahám
已经提出了两种分析HPnG的方法，(I)基于树的方法和(Ii)基于计算几何的状态空间表示法。我们使用C++库HyPro将基于树的表示转换为几何表示，该库是为分析混合自动机而开发的。这使得可以对具有多次随机激发的HPnG进行表示和高效、准确的分析。
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.
DOI：
10.1007/978-3-319-57288-8_20
发表时间：
2017-05
期刊：
--
影响因子：
--
作者：
Stefan Schupp;E. Ábrahám;Ibtissem Ben Makhlouf;S. Kowalewski
通讯作者：
Stefan Schupp;E. Ábrahám;Ibtissem Ben Makhlouf;S. Kowalewski