摘要
为解决一类自动制造系统的死锁问题,利用有效变迁覆盖提出了一种新的死锁预防策略.利用严格极小siphon与极大完备资源变迁回路之间的一一对应关系,将任意严格极小siphon子集转换为有效变迁覆盖.然后对有效变迁覆盖中每一个极大完备资源变迁回路添加具有合适控制变量的控制库所和相关弧,得到自动制造系统的活性控制器.通过求解线性整数规划问题得到控制变量.在此基础上为自动制造系统提出了一个新的死锁预防策略.该策略得到的控制器结构简单,适合于规模较大的实际生产系统.最后通过一个例子解释了所提出的死锁预防策略.
Based on effective transition covers, a new deadlock prevention policy is proposed to solve the deadlock problem for a class of automated manufacturing systems. By a onetoone corre sponding relationship between strict minimal siphons and maximal perfect resource transition circuits, any subset of minimal strict siphons can be transformed into an effective transition cover. By adding a control place with suitable control variable and related arcs to each maximal perfect resource transi tion circuit in the effective transition cover, a live controller is designed for automated manufacturing systems. Control variables are determined by solving the linear integer programming problem. A new deadlock prevention policy is proposed for the automated manufacturing system, which makes the controller structure simpler and suitable for largescale practical manufacturing systems. Finally, an example is used to illustrate the proposed deadlock prevention policy.
出处
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2012年第A01期107-111,共5页
Journal of Southeast University：Natural Science Edition
基金
国家自然科学基金资助项目(60774083
50975224)
关键词
自动制造系统
死锁预防
PETRI网
automated manufacturing system
deadlock prevention
Petri net
