首页 | 本学科首页   官方微博 | 高级检索  
     

随机Petri网模型中变迁的串、并联性能等价化简技术
引用本文:田立勤,林闯,周文江. 随机Petri网模型中变迁的串、并联性能等价化简技术[J]. 电子学报, 2002, 30(8): 1134-1137
作者姓名:田立勤  林闯  周文江
作者单位:清华大学计算机科学与技术系,北京 100084
基金项目:国家自然科学基金 (No .60 1 730 1 2,No.90 1 0 4 0 0 2 ),国家重点基础研究发展规划 (973计划 )项目 (G1 9990 32 70 7),国家高技术研究发展计划(863计划 ) (No.2 0 0 1AA1 1 2 0 80 )
摘    要:随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.

关 键 词:随机Petri网  模型化简  串联  并联变迁化简  性能等价方程  
文章编号:0372-2112(2002)08-1134-04
收稿时间:2001-10-31

Performance Equivalent Simplification of Sequent and Parallel Transitions in Stochastic Petri Nets
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
Authors:TIAN Li-qin  LIN Chuang  ZHOU Wen-jiang
Affiliation:Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China
Abstract: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.
Keywords:stochastic Petri nets  simplification of model  simplification of sequent and parallel transition  performance equivalent equation
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《电子学报》浏览原始摘要信息
点击此处可从《电子学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号