一类FMS的最佳活Petri网模型的综合
Synthesis of Optimal Live Petri Net Models for a Class of FMS
-
摘要: 利用Petri网为一类柔性制造系统建模,并讨论避免系统死锁问题.通过Petri网模 型的结构分析,证明了系统产生死锁的一个充分必要条件.给出了避免死锁的最佳控制器,它 可以通过给系统的Petri网模型增加一些新的位置与相应的弧来实现.从而导出了这类制造 系统的最佳活Petri网模型.Abstract: In this paper, the Petri net model for a class of flexible manufacturing systems is constructed, and the deadlock problem in FMS is discussed. We prove a necessary and sufficient condition for liveness of system model and present and optimal deadlock avoidance controller which is a Petri net. The controlled closed-loop systems may be modeled by live Petri nets.
-
Key words:
- FMS /
- Petri net /
- deadlock avoidance control
计量
- 文章访问数: 2182
- HTML全文浏览量: 74
- PDF下载量: 882
- 被引次数: 0