计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 98-101.doi: 10.11896/j.issn.1002-137X.2016.11.018
• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇 下一篇
赵义军,张小轩
ZHAO Yi-jun and ZHANG Xiao-xuan
摘要: 最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变图变得较为困难。基于有效冲突的两种解决方式——确定优先级或按比例分配流量,给出了计算各变迁瞬发速度的算法2;进而对含有效冲突且有界的CCPN,提出了演变图构造算法3,利用其演变图,可以对含有效冲突的CCPN进行性能分析。
[1] David R,Alla H.佩特利网和逻辑控制器图形示工具[M].黄建文,赵不贿,译.北京:机械工业出版社,1996 [2] David R,Alla H.Petri Nets and Grafcet:Tools for ModelingDiscrete Event System[M].London:Pretice-Hall,1992 [3] Zhao Yi-jun.Propertries and Determining Methods of Conti-nuous Petri Nets[D].Taian:Shandong Mining Institute and Technology,1998(in Chinese) 赵义军.连续Petri网的性质及判定方法[D].泰安:山东矿业学院,1998 [4] Zhao Yi-jun,Wang Pei-liang.Developing Graph and Generating Algorithm of CCPN[J].Computer Science,1999,6(6Suppl):1-6(in Chinese) 赵义军,王培良.CCPN的演变图及其构造算法[J].计算机科学,1999,26(6增刊):1-6 [5] Peter J L.Petri网理论与系统模拟[M].吴哲辉,译.徐州:中国矿业大学出版社,1989 [6] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006 [7] 袁崇义.Petri网原理[M].北京:电子工业出版社,2005 [8] David R,Alla H.Petri Net for Modeling of Dynamic Systems-A Survey[J].Automatica,1994,30(2):36-41 [9] Murata T.Petri Nets:Properties,Analysis and Applications[J].Proceedings of the IEEE,1989,77(4):541-581 [10] Li Zhi-jia,Hu Xiang,Jiao Li,et al.Performance Evaluation ofJob Scheduling and InfiniBand Network Interconnection in High Performance Computing System Based on Stochastic Petri Nets [J].Computer Science,2015,2(1):31-37(in Chinese) 李智佳,胡翔,焦莉,等.基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析[J].计算机科学,2015,42(1):31-37 |
No related articles found! |
|