摘要
作为一种图形化和数学化的建模工具,Petri网为系统分析和设计提供了便利。但Petri网建模时通常要用Petri网的子类对模型做各种限制。本文对Petri网的基本模型、子类作了介绍和分析,对系统建模和分析有一定的指导作用。
出处
《福建电脑》
2006年第3期80-81,共2页
Journal of Fujian Computer
二级参考文献1
-
1Tommaso Toffoli. Physics and computation[J] 1982,International Journal of Theoretical Physics(3-4):165~175
共引文献9
-
1吕丽民,陈火旺.基于Petri网模型的主动对象研究[J].计算机工程与科学,1997,19(2):16-20. 被引量:1
-
2陈曦.Petri网的绘制与仿真系统[J].计算机工程与应用,1997,33(10):13-15. 被引量:2
-
3陆维明,甄强.Petri网系统活性的研究[J].计算机科学,1999,26(4):1-4. 被引量:10
-
4董红斌,杨巨庆.Petri网:概念、分析方法和应用[J].哈尔滨师范大学自然科学学报,1999,15(5):59-63. 被引量:14
-
5刘建昆,宋文,周涛.基于Petri网的列控系统形式化分析方法[J].计算机应用,2013,33(4):1132-1135. 被引量:2
-
6叶阳东,贾利民.带有对象的Petri网及其在列车运行模型建立中的应用[J].中国铁道科学,2001,22(3):15-20. 被引量:10
-
7叶阳东,贾利民.模糊离散事件动态系统相关问题的研究[J].中国铁道科学,2001,22(6):44-49. 被引量:5
-
8叶阳东,贾利民.基于对象Petri网的列车运行模型及仿真[J].系统仿真学报,2002,14(2):132-135. 被引量:22
-
9徐树维,任小金.基本Petri网:模型、特性和分析方法[J].焦作工学院学报,2003,22(5):402-405. 被引量:5
同被引文献14
-
1尹章才,李霖.基于Petri网的时空数据模型研究[J].武汉大学学报(信息科学版),2004,29(8):740-743. 被引量:12
-
2尹章才,李霖,张旭.基于Petri Net的多尺度表达模型研究[J].地理与地理信息科学,2005,21(3):5-9. 被引量:1
-
3代科学,李国辉.一种基于Petri网的监控视频事件抽取方法[J].电视技术,2006,30(1):83-85. 被引量:1
-
4VOZENILEK V.Dilemma in updating of reality presentation:Redraw maps or rebuild database[J].Geographica,2002,37(supp):97-101.
-
5HARRIE L.Incremental generalisation:A feasibility study[EB/OL].http://www.lantm.lth.se/personal/lars/GISRUK98.pdf.2006-01-09.
-
6STEFANAKIS E.Representation of generalized map series using semi -structured data models[J].Cartography and GIS,2003,30(1):51-68.
-
7HAE -KYONG K,JUNG -WOOK M,KI -JOUNE L.Data update across multi -scale databases[A].Proc.12th Int.Conf.on Geoinformatics[C].Sweden,2004.749-756.
-
8SKOGAN D.Towards a rule -based incremental generalization system[A].5th AGILE Conference on Geographic Information Science[C].Palma,2002.5.
-
9BOBZIEN M,BURGHARDT D,PETZOLD I.Re -generalization and construction-two alternative approaches to automated incremental updating in MRDB[A].International Cartographic Conference[C].Spain,2005.
-
10NEUFFER D,HOPEWELL T,WOODSFORD P.Integration of agent-based generalization with mainstream technologies and other system components[A].ICA Workshop on Generalization and Multiple Representation[C].Leicester,2004.
-
1王晓悦,方贤文,曹芮浩.基于Petri网行为轮廓从事件日志中挖掘隐变迁的方法[J].安徽理工大学学报(自然科学版),2016,36(3):13-19.
-
2郝克刚,郭小群,李向宁.Pi^+演算及其对Petri网的表达[J].计算机学报,2011,34(2):193-203. 被引量:6
-
3林剑峰.工作流网的结构正确性验证[J].中小企业管理与科技,2009(34):290-290.
-
4李向宁,郝克刚,郭小群.k-选择网和Pi演算的表达能力[J].计算机学报,2013,36(6):1261-1266.
-
5胡晓静,刘士喜,王涛.一种Web服务组合模型合理性验证方法[J].湖北工程学院学报,2015,35(3):16-20. 被引量:1
-
6李强,刘亚军.基于Petri网模型的工作流实例迁移算法[J].计算机工程与设计,2007,28(21):5086-5087. 被引量:1
-
7王文德,杜玉越,左风朝,李孝忠.自由选择网的共享合成运算[J].聊城师院学报(自然科学版),2000,13(1):19-22.
-
8杜玉越,曹德范,李孝忠,胥保华.自由选择网的同步合成运算[J].聊城师院学报(自然科学版),1999,12(1):21-23.
-
9杜淑楠,章宁,王鲁滨.工作流模型正确性验证过程中的模型简化问题[J].计算机工程,2005,31(B07):110-111. 被引量:2
-
10王立君,郭晓冬.基于Petri网工作流过程模型合理性验证方法[J].吉林大学学报(信息科学版),2011,29(6):590-594. 被引量:1