随机Petri网模型到马尔可夫链的转换规则与实现 - 何炎祥; 沈华 (计算机科学与探索, 2013)
Keywords: Markov chain; 转换规则; 性能指标; stochastic Petri net; performance indicators; 随机Petri网; quantitative analysis; 马尔可夫链; 定量分析; conversion rules