Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA
复制标题
利用随机过程代数工具CASPA进行k最短路径的符号计算及相关测度
DOI：
10.1145/1772630.1772635
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
M. Siegle
中科院分区：
文献类型：
--
作者：
M. Guenther;J. Schuster;M. Siegle
CASPA is a stochastic process algebra tool for performance and dependability modelling, analysis and verification. It is based entirely on the symbolic data structure MTBDD (multi-terminal binary decision diagram) which enables the tool to handle models with very large state space. This paper describes an extension of CASPA's solving engine for path-based analysis. We present a symbolic variant of the k-shortest-path algorithm of Azevedo, which works in conjunction with a symbolic variant of Dijkstra's shortest path algorithm. A non-trivial case study illustrates the use of this kind of path-based analysis.
随机过程代数工具CASPA的高效符号消除算法
DOI：
10.1007/978-3-540-95891-8_44
发表时间：
2009
期刊：
影响因子：
--
作者：
J. Bachmann;M. Riedl;J. Schuster;M. Siegle
通讯作者：
M. Siegle
使用 CASPA 工具进行符号性能和可靠性评估
DOI：
--
发表时间：
2004
期刊：
FORTE Workshops
影响因子：
--
作者：
M. Kuntz;Markus Siegle;Edith Werner
通讯作者：
Edith Werner