基于面向资源Petri网的自动化制造系统的死锁控制与优化

发布时间：2020-10-16 03:19

　　 自动化制造系统设计和实现过程是相当复杂的。通常需要在系统投入实施和运行之前,对其进行清楚、准确的建模,并对构成要素及系统特性加以分析,从而在设计之初可发现并克服系统存在的各种问题。如何根据产品信息和系统的制造能力设计生产计划与调度,使得制造系统中的物料流程安排合理有效,提高制造过程的柔性性能和效率。首先,需确保系统的操作的持续性,即无阻塞运行。其次,实现系统动态行为优化。Petri网是自动化制造系统建模和分析的重要数学工具。采用正规的Petri网——面向进程的Petri网—来对自动化制造系统建模,建模能力强,适用于各类制造系统,能够直观的描述了生产加工中的工件流向和资源分配与回收过程,但面向进程的Petri网模型的规模庞大,信息冗余偏多,网结构复杂,提取网结构困难(比如,提取“信标”需求解整数规划)等诸多不便。通过给正规的Petri网元素添加颜色及限制库所容量,将正规Petri网拓展为面向资源的Petri网。形式上,面向资源的Petri网可以看成一个有向图。与普通Petri网相比,面向资源的Petri网隐藏了加工过程的某些信息,网规模较小,结构紧凑。死锁在网结构表现为完全的有向回路达到饱和。数学上图论中与有向图相关的算法可以平移到面向资源的Petri网上。面向资源的Petri网能准确地描述制造系统的特殊子类—析取的单资源系统—的行为特征,该子类正是本文的研究对象。本文采用可达图分析与结构分析相结合的手段,研究自动化制造系统中的“资源合理分配及优化调度”,建立恰当的数学模型和综合高效的控制算法,不仅确保系统无全局或局部的停顿,而且实现系统行为的优化运行。Petri网可达图存在状态爆炸问题,生成可达图是NP-hard的。首先,缩减面向资源的Petri网的规模,移除与死锁无关的网结构与网元素,使得可达状态计数以指数级降低。其次,状态空间被识别为两个不相交的子空间,即,合法标识集与非法标识集。然后,采用标识覆盖技术,将识别出数据空间缩小成两个规模更小的集合。最后,构造并求解一个整数规划问题获取系统最优控制控制策略。求解整数规划不是有效的算法。系统的死锁的充分必要条件是存在完全的资源变迁回路是饱和的。通过控制完全的资源变迁回路永远达不到饱和可以确保当前系统无死锁,但系统可能陷入“系统受控”而带来的死锁。如果任意两条完全的资源变迁回路的共享链的容量大于1时,仅通过控制完全的资源变迁回路永远达不到饱和而获得对系统的最优控制。面向资源的Petri网用来建模析取的单资源系统。共享链的容量为1的情形普遍存在。在可达性分析的基础上,采用标识结构识别技术,将压缩后的非法标识集按结构特征将其划分为特征子类。对于每一个子类,在网规模的多项式级的计算复杂度下识别该类的结构特征,获取最大许可控制策略,因而识别算法是有效的。对于还未能通过结构分析方法识别的标识,采用线性规划的方法求解。最后,通过文献中常见的范例证明提出的死锁预防最大许可控制策略是有效的。
【学位单位】：广东工业大学
【学位级别】：博士
【学位年份】：2019
【中图分类】：TH16;TP301.1;TP273
【部分图文】：

变迁ｆ被称为是使能的（ｅｎａｂｌｅｄ），如果ｔ的每一个输入库所ｐｉ）个令牌，其中为从ｐ到ｆ的弧上的权。??使能的变迁Ｚ可以触发（ｆｉｒｅ）也可以不触发，取决于ｉ所代表的发生。??一个使能的变迁从ｉ的每个输入库所ｐ中移走Ｗ／〇Ｍ）个令每个输出库所］／中添加ＶＫＷ）个令牌，其中为从ｉ到。??图２．７是一个简单的尸ｅｆＷ网实例，有助于读者理解上述概念。个常见的化学反应方程式。两个氢分子与一个氧分子综合＋０２?—?２Ｈ２０。＝?Ｗ／（ｔ，ｐ３）?＝?２，?ｉｙ（ｐ２，ｔ）?＝?１。Ｍ〇（Ｐ２表示初始状态下两个氢分子与两个氧分子可以利用。在Ｍ〇能的。ｉ触发后，到达状态Ｍ，记为Ｍ〇的Ｍ。网的状态Ｍ如迁ｆ将不再使能了。??

．一ｅｆ，个常见的化学反应方程式。两个氢分子与一个氧分子＋０２?—?２Ｈ２０。＝?Ｗ／（ｔ，ｐ３）?＝?２，?ｉｙ（ｐ２，ｔ）?＝?１。Ｍ?２表示初始状态下两个氢分子与两个氧分子可以利用。在Ｍ能的。ｉ触发后，到达状态Ｍ，记为Ｍ〇的Ｍ。网的状态Ｍ迁ｆ将不再使能了。??图２．１?—个简单的Ｐｅｔｒｉ网示例??Ｆｉｇｕｒｅ?２．１?Ｔｈｅ?ｉｌｌｕｓｔｒａｔｉｏｎ?ｏｆ?ａ?ｓｉｍｐｌｅ?Ｐｅｔｒｉ?ｎｅｔ??

称为活的（或称％是＃的活（ｌｉｖｅ）标识），如果无论从Ｍ〇到达什么标识，通过进一??步的触发序列都有可能最终触发网的任何一个变迁。这意味着无论选择何种触发顺??序，活的Ｐｅｔｒｉ网都可确保无死锁操作。可以看出，图２．１在ｉＷ〇下不是活的，因为ｔ??触发一次后，就不能再次使能并触发了。??Ｐｅｔｒｉ网的活性由变迁的活性来定义。一个变迁ｉ被称为活的（ｌｉｖｅ）当且仅当对??所有的Ｍ?ｅ丑（兄Ｍ０），存在矽ｅ?ｉ？（兄＿Ｍ），使得Ｍ＃〉。一个非活（ｎｏｎ－ｌｉｖｅ）的变??迁ｆ在状态Ｍ?ｅ丑（兄Ｍ〇）下称为是死的（ｄｅａｄ），如果不存在Ｍ＇?ｅ?Ｍ），使得??一个变迁ｔ在Ｍ下是死的，意味Ｐｅｔｒｉ网从Ｍ开始继续演化，ｉ再也没有机会触??发了。??—个Ｐｅｔｒｉ网ＡＴ称为准活的（ｑｕａｓｉ－ｌｉｖｅ），当且仅当对所有ｔ?＃牐颍?嬖冢停牐??Ｍ〇），使得Ｍ丨—个Ｐｅｔｒｉ网Ａ／＂在Ｍ下称为弱活的（ｗｅｅｋｌｙ?－ｌｉｖｅ），当且仅??当对所有Ｍ?ｅ?存在ｆ?ｅ?Ｔ
【相似文献】

相关期刊论文 前10条

1 王伟;李树森;李健;;机械自动化制造系统课程建设及教学方法的探讨[J];教育教学论坛;2016年18期

2 秦伦;;检测技术在机械自动化制造系统中的应用[J];科技展望;2016年27期

3 王宝沛;翟鹏;王丽霞;王永强;宋文平;;汽车零部件可重构自动化制造系统的研究[J];制造技术与机床;2007年03期

4 孙振华;乔民;;现代自动化制造系统分析[J];黑龙江科技信息;2002年07期

5 楼应侯,龚秉周,刘谨;自动化制造系统物流设计策略研究[J];机械设计与制造;2001年04期

6 宋剑行;建立自动化制造系统的12个步骤[J];世界制造技术与装备市场;1997年03期

7 殷国富;赵汝嘉;;CAD/CAM技术讲座 四、计算机辅助制造与计算机综合自动化制造系统[J];机械;1987年04期

8 ;生产系统专业名词术语(1)[J];组合机床与自动化加工技术;1988年02期

9 ;生产系统专业名词术语(2)[J];组合机床与自动化加工技术;1988年03期

10 古新生;顾学春;王东宇;;为计算机综合自动化制造系统建立智能化的全局数据模型[J];西安交通大学学报;1988年03期

相关博士学位论文 前1条

1 陈鹤峰;基于面向资源Petri网的自动化制造系统的死锁控制与优化[D];广东工业大学;2019年

相关硕士学位论文 前3条

1 马开元;自动化制造系统实时反馈式调度方法研究[D];电子科技大学;2017年

2 杨经纬;控制系统的柔性设计[D];浙江大学;2004年

3 宋捷;CIMS环境下的制造自动化系统（CIMS/MAS）中的动态监控技术研究[D];重庆大学;2006年

本文编号：2842682