随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.

Performance Equivalent Simplification of Sequent and Parallel Transitions in Stochastic Petri Nets

State space's explosion of Stochastic Petri Nets(SPN) is always one of the important problems to solve.In Stochastic Petri Nets,sequent and parallel transitions are primary structure.Simplification of sequent and parallel transitions can not only help to solve the problem of state space's explosion,but also make preparations for other simplification methods.Meanwhile,in some important SPN models,such as Workflow and Multimedia,there are a lot of sequent and parallel transitions,so simplifying sequent and parallel transition structure,especially deducing its equivalent equation will make a significant contribution to simplification of whole SPN.The authors discuss sequent and parallel transition model and simplification theory,deduce their performance equivalent equations,give an example of simplification of SPN model,and finally analyze the conclusion.