基于Petri网的柔性制造系统设备故障建模及死锁预防

发布时间：2020-11-19 12:10

　　 FMS是具有高度复杂性的系统，易发生故障。需建立能描述故障的Petri网模型，以便分析系统特性，选择合适的控制方法．ES~3PR网是Petri网的一个子类，可以为一大类FMS建模，代表性很强。设备故障可发生在工件正在加工和加工前。在ES~3PR网的基础上分别对上述两种类型故障建模，用故障库所、故障变迁和恢复变迁描述设备故障、修复以及重新投入工作的整个过程，可得到ES~3PRF-Ⅰ网和ES~3PRF-Ⅱ网．将两种情况综合考虑，可得到ES~3PRF-Ⅲ网。 设备故障导致资源减少，加剧了共享资源的竞争，会导致系统发生死锁。本文对此提出预防算法：首先添加控制库所保证原网系统中的基本信标P-不变式控制。然后通过调整基本信标的控制深度ξ保证从属信标也不会被清空。此算法只对基本信标添加控制库所，且不需要多次迭代使用。减少了对原网系统行为的限制，增加了网系统的可达状态，简化了控制策略。
【学位单位】：西安电子科技大学
【学位级别】：硕士
【学位年份】：2005
【中图分类】：TH165
【文章目录】：
第一章 绪论
    1.1 研究背景与意义
    1.2 本文完成的主要工作
第二章 Petri网的基本概念
    2.1 Petri网的基本理论
    2.2 FMS的Petri网模型
    2.3 实例分析
    2.4 小结
3PR网模型'>第三章 ES³PR网模型
3PR网的基本概念'>    3.1 ES³PR网的基本概念
3PR的实例'>    3.2 ES³PR的实例
    3.3 小结
第四章 Petri网的基本信标理论
    4.1 基本信标与从属信标
    4.2 从属信标的可控条件
    4.3 小结
3PR网的故障建模'>第五章 ES³PR网的故障建模
    5.1 经典的故障建模建模方法
3PR网的故障建模'>    5.2 ES³PR网的故障建模
3PRF网的活性分析'>    5.3 ES³PRF网的活性分析
3PRF网的进一步改进'>    5.4 ES³PRF网的进一步改进
    5.5 小结
3PRF网的死锁预防算法'>第六章 ES³PRF网的死锁预防算法
    6.1 两种经典的预防预防方法
    6.2 基于基本信标的死锁预防策略
    6.3 死锁预防策略的分析
    6.4 小结
第七章 死锁控制应用举例
    7.1 一个具体的FMS的故障建模及结构分析
3PRF网的死锁控制'>    7.2 对ES³PRF网的死锁控制
    7.3 小结
结束语
致谢
参考文献
在读期间的研究成果

【相似文献】

相关期刊论文 前10条

1 姜波;李洪义;谢炜;方斌;徐正喜;;基于Petri网的舰船综合电力系统故障诊断方法[J];舰船科学技术;2011年08期

2 施於人;代应;;eEPC与Petri网在流程改进建模中的比较[J];重庆理工大学学报(自然科学);2011年07期

3 汪胜荣;郑连清;;一种能量高效的无线传感器网络分簇路由设计[J];大连海事大学学报;2011年03期

4 邵丽丽;;基于Petri网的电梯系统规格说明[J];长春大学学报;2011年06期

5 林惠标;焦志刚;;基于带抑止弧Petri网的PLC梯形图设计方法[J];机电工程技术;2011年04期

6 尹文彬;许腾;侯博;盖世昌;;舰载航空兵防空作战指挥流程时间性能分析[J];火力与指挥控制;2011年06期

7 刘丙杰;刘勇志;黄岳;;基于克隆选择算法的学习型Petri网及在潜在通路分析中的应用[J];航天控制;2011年04期

8 曲长征;于永利;;装备基本任务单元可用度Petri网仿真模型及应用[J];系统工程与电子技术;2011年06期

9 刘兴林;陈行军;孙光明;;基于Petri网的作战计划制定协作模型研究[J];计算机与数字工程;2011年07期

10 梁丰;张志利;高钦和;李向阳;;大型武器装备故障建模与仿真技术研究[J];系统仿真学报;2011年S1期

相关博士学位论文 前10条

1 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年

2 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年

3 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年

4 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年

5 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年

6 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年

7 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年

8 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

9 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院（软件研究所）;2003年

10 田世海;高技术虚拟企业信息系统平台研究[D];哈尔滨理工大学;2008年

相关硕士学位论文 前10条

1 丁伟;基于Petri网的柔性制造系统设备故障建模及死锁预防[D];西安电子科技大学;2005年

2 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年

3 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年

4 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年

5 秦巧妹;安阳供电公司业扩报装流程再造研究[D];华北电力大学（北京）;2007年

6 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年

7 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年

8 胡辉;业务流程再造（BPR）理论与系统建模仿真研究[D];西安电子科技大学;2005年

9 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年

10 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年

本文编号：2889992