收藏本站
《山东科技大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

Petri网表征语言和可达性分析

王廷刚  
【摘要】:Petri网的可达性是Petri网的重要性质,其判定问题在Petri网理论中是一个重要课题。本文对Petri网的可达标识集做了一些分析,主要内容包括以下几个方面: 1)提出了Petri网的表征语言的概念,证明了任意Petri网都具有一个上下文有关语言为其表征语言,并找出了几种具有正规的表征语言的Petri网。 定义了标识向字符串的映射函数,从而将Petri网的标识映射为由库所组成的串,将Petri网的可达标识集映射为这些串的集合,称这个集合为网系统的表征语言,显然一个网系统的表征语言不是唯一的。表征语言描述了网系统的可达标识集,即网系统的状态空间。 有界网系统和公平网系统都存在正规的表征语言;如果一个网系统只有一个本原可重复向量,那么它也具有正规的表征语言。 2)给出了表征语言为正规语言的网系统的可达性判定方法。 本文提出了等价的表征语言的概念。对正规表达式的运算规则做了扩充,使得任意的正规表达式都可以转化为另一个新的表达式,新的表达式中不含括号运算且它的各个加项都不含嵌套的闭包运算,新的表达式生成的语言和原来的表达式生成的语言能够表征同一个网系统。最后给出了对具有正规的表征语言的Petri网进行可达性判定的方法。 3)给出了Petri网死标识可达性判定的方法。 如果一个Petri网∑1具有死标识,则存在一组Petri网,这些Petri网和∑1具有相同的库所集且初始标识为空标识,这些网的可达标识集的并集DM等于∑1的基网的所有死标识的集合,通过判定∑1的初始标识是否属于DM就可判定∑1是否能够到达死标识。
【学位授予单位】:山东科技大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP301.1

【参考文献】
中国期刊全文数据库 前8条
1 吴哲辉;有界Petri网的活性和公平性的分析与实现[J];计算机学报;1989年04期
2 王培良,吴哲辉;公平网的一组直接判断条件[J];计算机学报;1993年01期
3 蒋昌俊;刘关俊;;Petri网语言的Pumping引理[J];计算机学报;2006年02期
4 王培良,吴哲辉;Petri网弱公平性的判断[J];计算机学报;1994年08期
5 吴哲辉,王培良;公平网的一个充分必要条件[J];科学通报;1990年16期
6 邱经华,吴哲辉;可达性等价于状态方程可满足性的两个Petri-Nets子类[J];系统仿真学报;2003年S1期
7 刘关俊;蒋昌俊;吴哲辉;;基于T-不变量的可重复向量的求解算法[J];系统仿真学报;2007年S1期
8 岳昊;吴哲辉;刘关俊;;Petri网本原可重复向量的求解算法及实现[J];小型微型计算机系统;2009年09期
中国硕士学位论文全文数据库 前2条
1 刘关俊;关于Petri网可重复向量及死锁的求解算法[D];山东科技大学;2006年
2 鲁法明;Petri网可达性分析的代数方法[D];山东科技大学;2007年
【共引文献】
中国期刊全文数据库 前10条
1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
2 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
3 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
4 王娜;罗小明;;基于模糊Petri网的推理算法在C~4ISR系统效能评估中的应用[J];兵工自动化;2008年05期
5 宋朝河;戴羽;;基于面向对象Petri网的侦察配系评估模型[J];兵工自动化;2009年04期
6 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期
7 刘学程;张乾;蔡强;王骏;陈煜;;基于CPN的维修保障资源配置建模与仿真方法[J];兵工自动化;2009年09期
8 熊杰;刘湘伟;周国辉;;基于MC的电子对抗情报系统ESCPN模型性能分析[J];兵工自动化;2010年08期
9 黄东坡;曹继平;宋建社;杨檬;;基于Petri网的虚拟维修过程建模[J];兵工自动化;2011年01期
10 喻平;曹继平;宋建社;章涛;;改进的模糊Petri网算法及其在故障诊断中的应用[J];兵工自动化;2011年06期
中国重要会议论文全文数据库 前10条
1 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
2 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
3 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
4 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
5 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
6 彭一凡;陈文;;基于XML的动态数据结构持久化方法之研究[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
7 夏传良;鞠彦兵;;Petri网共享TT型子网合成及应用[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
9 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
10 李平;李永明;;基于量子逻辑的确定型正则语言的代数性质[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
3 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
4 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
5 胡浩;长生命周期生产设备维修状态管理关键技术研究[D];浙江大学;2011年
6 梅樱;城轨车辆新型网络控制系统的调度、建模及优化[D];北京交通大学;2011年
7 江赟;网状结构膜系统的计算能力研究[D];华中科技大学;2011年
8 曾湘祥;脉冲神经膜系统的计算性能研究[D];华中科技大学;2011年
9 陈辉;控制网络节点通信协议栈可重构自组织研究[D];华中科技大学;2011年
10 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
3 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
5 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
6 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
7 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
8 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
9 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
10 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 蒋昌俊,吴哲辉,王成红;PN语言识别器[J];电子学报;1998年02期
2 蒋昌俊;矢量文法与PN机[J];中国科学(A辑 数学 物理学 天文学 技术科学);1995年12期
3 韩莹洁;吴哲辉;孙永强;;Petri网的公平依赖关系[J];计算机科学;2001年02期
4 吴哲辉;有界Petri网的活性和公平性的分析与实现[J];计算机学报;1989年04期
5 王培良,吴哲辉;公平网的一组直接判断条件[J];计算机学报;1993年01期
6 蒋昌俊;刘关俊;;Petri网语言的Pumping引理[J];计算机学报;2006年02期
7 蒋昌俊;求有效极小(受控)可重复向量的一个算法[J];计算机学报;1994年08期
8 王培良,吴哲辉;Petri网弱公平性的判断[J];计算机学报;1994年08期
9 吴哲辉;Pumping引理的Petri网描述──Petri网语言属型的一组判定条件[J];计算机学报;1994年11期
10 吴哲辉,王培良;公平网的一个充分必要条件[J];科学通报;1990年16期
中国硕士学位论文全文数据库 前1条
1 徐誉尹;Petri网活性判定方法的探讨[D];山东科技大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 刘莉莉,傅铅生;应用Petri Net方法建模分析制造企业ERP的实施工程[J];航空工程与维修;2002年06期
2 谭宁;;基于Petri网的办公自动化系统结构模型设计[J];硅谷;2009年12期
3 林绍森;李晓兰;;采用Petri技术构建高校应急预案管理模型[J];硅谷;2010年24期
4 林群,关志超,杨东援;区域性枢纽城市物流公共信息平台体系结构Petri网研究[J];计算机工程与应用;2005年06期
5 郑怡文;;基于时延Petri网的肯定型工程关键工序的求解[J];福建电脑;2008年07期
6 刘峻;;药品批发分销网络的petri网建模[J];科学决策;2008年10期
7 赵相安;陈洪辉;何明;姜志平;;基于Petri网的武器装备体系能力需求仿真验证方法[J];系统仿真学报;2009年04期
8 王岚;张国宁;;维修保障仿真模型的HLA兼容性改造[J];计算机与网络;2009年19期
9 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
10 修少驹;描述数字系统中并行过程与控制的理论模型——Petri-网[J];计算机工程与应用;1980年05期
中国重要会议论文全文数据库 前10条
1 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
2 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
3 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
4 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
5 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
6 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
7 罗纤夫;李艺;王小梅;;基于Petri网的导弹预警系统建模分析[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
8 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
9 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
10 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
中国重要报纸全文数据库 前10条
1 ;值得注意的免费安全工具[N];网络世界;2004年
2 李春喜;汤姆逊要做消费电子中国魁首[N];中国计算机报;2003年
3 陈列欢;高剂量疗法可治红斑狼疮[N];医药经济报;2003年
4 金华;微软X#的一些推测[N];中国计算机报;2003年
5 陈秉林;美国汽车旅游的启示[N];中国旅游报;2003年
6 略雨 编译;超越历史尘封的永恒[N];中国商报;2001年
7 ;厂商全方位备战3G[N];计算机世界;2004年
8 黄梦/编译;小心行得万年船[N];电脑商报;2004年
9 修远;长城电脑与IBM建立合资企业[N];国际商报;2000年
10 千弼 君毅;为智能手机市场投下变量[N];电子资讯时报;2003年
中国博士学位论文全文数据库 前10条
1 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
2 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
3 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
4 李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年
5 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
6 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
7 王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年
8 胡核算;自动制造系统的Petri网控制器设计及优化[D];西安电子科技大学;2010年
9 翟正利;基于Petri网和Agent的网格服务工作流及资源管理的研究[D];北京科技大学;2006年
10 董宇翔;服务组合的Petri网建模和服务质量分析的研究[D];重庆大学;2010年
中国硕士学位论文全文数据库 前10条
1 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
2 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
3 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
4 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
5 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
6 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
7 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
8 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
9 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
10 赵珊;基于UML和Petri网模型验证框架的设计与实现[D];西安建筑科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026