无界Petri网可达树的研究

【摘要】众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对Petri网进行研究并取得了很多成果,但仍然存在着一个世界性难题——可达性问题。系统的可达性是其所有性质中最基本的。因为在很大程度上,我们都可以用可达性来分析其他的一些相关性质,比如有界性、可覆盖性、可逆性、活性、死锁等。Petri网的可达树可以表示标识和变迁的实施关系,是分析Petri网的一种重要方法,且适用于各种网系统。利用有限的可达树来分析研究无界Petri网的可达性问题,一直是Petri网这一领域的研究难题。近几十年来,经过许多研究者的努力,取得了一些成果及突破,但始终存在不足,如现在已有的有限可达树不能非常完整准确表示系统信息等。本文围绕Petri网可达性展开研究,具体工作及研究成果如下：1.提出一种适用于一类一般无界Petri网子网——ω独立网的可达树的构建算法,即ωRT。与已存在的方法相比,ωRT仅包含由初始标识可以到达的标识,有效的避免了虚假标识的出现,保证了可达树表示信息的准确性以及完整性。相较于MRT,ωRT还可以大幅度的减少可达树节点数量,简化了可达树的结构。在此基础上,提出验证相关性质与定理,并利用所提出的定理解决ω独立网的一些可达性问题,如死锁、有限性等。2.提出适用于所有无界Petri网的新可达树的构建算法,即AωRT。AcoRT将其适用范围扩大至所有无界网,是本文一个重要创新点。并且在此基础上提出了AcoRT的死锁检测定理。3.提出了改进的AcoRT。改进的AcoRT不仅继承AcoRT所具有的优点,而且进一步简化了有限可达树的结构。最后,在总结全文的基础上,展望了无界Petri网可达性问题的未来工作。
【作者】李月；
【导师】王寿光；
【作者基本信息】浙江工商大学，信号与信息处理，2014，硕士
【关键词】无界Petri网；可达树；可达性问题；

【参考文献】
[1]胡荣希.新加坡:“花园城市”之国[J].长江建设.2002(04)
[2]郑媛媛.1，3-丙二醇氧化还原酶基因的克隆分析及定向进化初探[D].华侨大学,化学工程,2004,硕士.
[3]祁滕远.“副枪+烟气分析”炼钢控制系统的改进实践[J].冶金自动化,2013,05:42-46.
[4]邓时滨,凌曦,徐伟高,张锦.单根单壁碳纳米管上吸附分子的拉曼信号检测[A].中国化学会.中国化学会第28届学术年会第4分会场摘要集[C].中国化学会:,2012:1.
[5]刘炳伟.锅炉钢材腐蚀破坏及机理研究[D].郑州大学,材料工程（专业学位）,2013,硕士.
[6]李涛.单亲家庭学生心理行为偏差及学校教育策略[D].内蒙古师范大学,教育管理（专业学位）,2012,硕士.
[7]王琳,刘进忙,王永鑫,李岱峰.基于特征向量的中文文档比较方法[J].情报杂志,2005,11:48-49.
[8]贾玉磊.人脂肪干细胞协同颗粒脂肪移植的实验研究[D].河北医科大学,外科学,2014,硕士.
[9]赵天宇,于有东,许文奎.3500mm中厚板上切铡刀式切头剪[J].一重技术.2006(06)
[10]毋非非.中美个人信用档案建设和运行机制的比较[D].郑州大学,档案学,2013,硕士.
[11]赵瑞.辽朝戍边制度研究[D].吉林大学,中国古代史,2013,硕士.
[12]宋春霞.美国爱荷华州开放入学政策研究[D].西南大学,比较教育学,2013,硕士.
[13]杜景丽.组织变革中员工变革认知和变革行为立场的关系研究：变革断裂带的调节机制[D].浙江大学,2014.
[14]程鹏,吴秋峰,戴琼海.基于遗传算法的应用层多播路由方案[J].控制与决策,2006,04:381-384+390.
[15]许兆新,郝燕玲.可聚焦的几种挖掘技术研究[J].舰船电子工程,2003,04:38-41+64.
[16]付红梅,朱光明,王宗瑶,宋鑫月.纳米材料改性聚酰亚胺研究进展[J].中国塑料,2015,02:1-7.
[17]叶发明.纳米Cr_3C_2粉末及晶须的制备研究[D].四川理工学院,化学工程,2014,硕士.
[18]鲁俊杰.战略管控型集团风险管理研究[D].石家庄经济学院,企业管理,2013,硕士.
[19]赵红梅.多囊卵巢综合征中医证型与超声卵巢形态相关性的分析[D].黑龙江中医药大学,中医妇科学（专业学位）,2014,硕士.
[20]侯建军.初中学生数学创新意识的现状调查和培养对策研究[D].湖南师范大学,教育,2003,硕士.
[21]张小娟.高品质石墨烯/聚苯胺复合材料的制备及电化学性能研究[D].湖南大学,2012.
[22]吴昊.一水肌酸对肉鸡生产性能的影响及作用机理的研究[D].吉林大学,动物营养与饲料科学,2013,硕士.
[23]康汝岭.冷战后越南对华外交政策调整的动因研究[D].山东大学,国际关系,2013,硕士.
[24]余胜泉,李世亮,谢晓林.在线测试分析与数据挖掘系统的设计[J].开放教育研究,2005,05:74-79.
[25]简建伟.空调器高能效的技术研究与应用[D].广东工业大学,工程,2004,硕士.
[26]杨旭宇,朱滨,陈建文.聚丙烯/石墨烯纳米复合材料的非等温结晶动力学研究[J].塑料科技,2014,01:60-63.
[27]高巍.雌激素上调结肠癌细胞SW480及胚肾细胞293T hMLH1表达并增强细胞微卫星稳定性[D].大连医科大学,内科学,2012,硕士.
[28]李博.流域空间关联结构研究[D].西北师范大学,人文地理学,2013,硕士.
[29]黄山.信息不对称、信贷配给与中小企业贷款[D].四川大学,工商管理,2003,硕士.
[30]程军奇.近52年甘肃黄土高原极端降水事件的变化特征[D].西北师范大学,自然地理学,2013,硕士.
[31]汤雯雯.失独家庭的养老服务问题研究[D].湖南师范大学,社会保障,2014,硕士.
[32]周丹丹.新HSK阅读理解中使用字、词的计量研究[D].安徽大学,汉语国际教育,2014,硕士.
[33]王琪.唐代谏官制度研究[D].扬州大学,中国古代史,2012,硕士.
[34]马庸颇.LiBr-H_2O双吸收热变换器热力过程的模拟与优化[D].大连理工大学,化学工程,2004,硕士.
[35]张兴宁.太赫兹应用技术研究[D].浙江大学,2005.
[36]杨婷.邯郸市高校体育社团发展现状及对策研究[D].河北师范大学,体育教学,2012,硕士.
[37]任颐.开发性金融支持浙江中小企业融资模式研究[D].浙江工业大学,工商管理,2012,硕士.
[38]宋思桥.普饵茶对禽类的采食量、脂肪代谢率及血液生化指标的影响[D].吉林农业大学,生物化学与分子生物学,2012,硕士.
[39]王晓丽.我国房地产企业资金链管理研究[D].北京交通大学,2008.
[40]陈亮.EV-DO/WLAN异构网络接入控制算法研究[D].哈尔滨工业大学,电子与通信工程,2013,硕士.
[41]赵凤岐.真空联合堆载预压法处理软基监测、数值模拟与沉降预测[D].河北工程大学,岩土工程,2012,硕士.
[42]郭林.福清民俗文化调查及思考[D].华中师范大学,农村与区域发展,2012,硕士.
[43]刘佳.河北省省级社区体育健身俱乐部的现状调查与对策研究[D].河北师范大学,体育教育训练学,2013,硕士.
[44]徐晓飞.ERP技术发展的现状、趋势及思考[J].中国制造业信息化,2003,03:19-29.
[45]任斐祥.景德镇传统陶瓷雕塑釉上彩装饰研究[D].景德镇陶瓷学院,美术学,2014,硕士.
[46]杜杰.德阳移动中高端客户流失预警研究[D].电子科技大学,工商管理（专业学位）,2013,硕士.
[47]张月.时间语和近体语在高中英语教学中的应用[D].河北师范大学,教育,2013,硕士.
[48]张璨,林振智,文福拴,薛禹胜,李矛,李晓露.计及机组恢复效益和线路综合重要度的网络重构优化策略[J].电力系统自动化,2013,21:80-87.
[49]高艺花.超声心动图右心室功能指标和血浆N端脑利钠肽前体的相关性研究[D].延边大学,内科学,2014,博士.
[50]贾航（KhamdamovJakhongir）.实现全面质量管理的具体说明[D].大连海事大学,工商管理,2014,硕士.