因此,通过随机Petri网模型到马尔可夫链的转换,我们可以得到一个指导系统状态转移的概率模型。 为了证明该算法的正确性,我们需要证明转换前后模型的等价性。 首先我们可以证明,随机Petri网模型中的所有变迁都是互斥的,即一个变迁在任意时刻只能有一个实例在运行。而在转换后的马尔可夫链中,状态转移是独立且可交换的,...
@whu.edu.ca摘要:随机Pe廿i网具有很强的模型描述能力,马尔可夫链是一种常用的性能分析模型.为了有效利用随机Pe舡i网进行性能的定量分析,给出了一个详细完整的随机Petri网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性,运用良序集法证明了算法的终止性.算法是部分正确的且是可终止...
随机Petri网具有很强的模型描述能力,马尔可夫链是一种常用的性能分析模型.为了有效利用随机Petri网进行性能的定量分析,给出了一个详细完整的随机Petri网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性,运用良序集法证明了算法的终止性.算法是部分正确的且是可终止的,这个证明结论说明...
随机Petd网具有很强的模型描述能力,马尔可夫链是一种常用的性能分析模型.为了有效利用随机Petri网进行性能的定量分析,给出了一个详细完整的随机Peai网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性,运用良序集法证明了算法的终止性.算法是部分正确的且是可终止的,这个证明结论说明算法...