

浏览全部资源
扫码关注微信
清华大学计算机科学与技术系,北京,100084
Published:2002
移动端阅览
TIAN Li-qin, LIN Chuang, ZHOU Wen-Jiang. Performance Equivalent Simplification of Sequent and Parallel Transitions in Stochastic Petri Nets[J]. Acta Electronica Sinica, 2002, 30(8): 1134-1137.
随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中
变迁的串、并联是Petri网模型的主要基本形式
对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题
而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构
所以对随机Petri网模型变迁的串、并联的化简
特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术
推导出了变迁的串、并联化简的性能等价公式
并给出一个化简的例子
最后对结果的相关问题进行了分析.
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.
0
Views
1247
下载量
21
CSCD
Publicity Resources
Related Articles
Related Author
Related Institution
京公网安备11010802024621