一种基于Petri网的自动制造系统的稳健性控制方法技术方案

本发明专利技术涉及一种基于Petri网的自动制造系统的稳健性控制方法。它通过首先，检测一个可达状态M下所有使能的变迁，然后在所有的使能变迁中检测出保证系统无死锁的变迁集合，再在所有的无死锁变迁中检测出保证系统稳健的变迁，最后在所有稳健的变迁中检测出最大并发性允许变迁。在最大并发性允许变迁集合中选择一个变迁发射。每发射一个变迁，就会得到一个新的状态，在新状态下，继续执行上述的步骤。如此反复，最终得到保证系统稳健无死锁运行的变迁序列，按照该序列发射，不仅保证系统无死锁，而且能保证系统无阻塞。本发明专利技术应用Petri网作为数学工具，对自动制造系统进行建模，从而实现系统能持续流畅的加工。

【技术实现步骤摘要】

本专利技术属于自动制造系统
，涉及一种基于Petri网的自动制造系统的稳健性控制方法。
技术介绍
制造自动化是制造技术发展的一个主要方向。为了响应激烈市场竞争的出现和先进自动化技术的应用，自动制造系统已经经历了跳跃式的发展。其目标是降低制造成本、改善产品质量、提高生产率和确保生产安全。然而，考虑到系统的规模和资源的成本，资源不会无限制的提供。因此，资源共享是一个理想的解决方案。由于并发执行的进程会竞争共享的资源，系统死锁问题就会不期而至。一旦出现死锁，整个系统要么停滞，要么进入一个死循环。尽管研究者在死锁问题的计算和控制方面做了大量的研究，但是大多数的研究者总是假设分配的资源不会故障。事实上，任何的制造研究者都知道，系统的机械故障很容易发生，并且来自各种各样的原因，包括工件磨损、传感器失灵、零件缺失和组件故障等等。一个简单的资源故障会导致整个系统的瘫痪。在过去的数十年里，研究者们已经研究了一系列的监督控制方法。这些方法可以分为中心控制方法和分布式控制方法。其中具有代表性的中心控制方法是由Ramadge和Wonham提出的监管控制方法和信标死锁解决方法。Ramadge和Wonh本文档来自技高网...

【技术保护点】
一种基于Petri网的自动制造系统的稳健性控制方法，包括中心控制器和局部控制器，中心控制器与局部控制器电连接，其特征是：中心控制器至少包括以下步骤：1)进行死锁避免算法：1.1)初始化，使其中，TEN是使能变迁集合，TDF是使自动制造系统无死锁运行的变迁集合；1.2)采集一个可达状态M，包括每个库所所含的托肯数；1.3)根据变迁使能规则，在当前状态M下，求出所有的使能变迁集合，即若ti是使能的，则TEN：＝TEN∪{ti}，其中ti是状态M下的任意一个变迁；1.4)选择TEN中的任意一个变迁并判断该变迁是否处于装配操作的标志图模块中；1.5)当变迁位于装配操作的标志图模块中，模块发射元素1.6...

【技术特征摘要】
1.一种基于Petri网的自动制造系统的稳健性控制方法，包括中心控制器和局部控制器，中心控制器与局部控制器电连接，其特征是：中心控制器至少包括以下步骤：1)进行死锁避免算法：1.1)初始化，使其中，TEN是使能变迁...

【专利技术属性】
技术研发人员：胡核算，杜楠，
申请(专利权)人：西安电子科技大学，
类型：发明
国别省市：陕西;61