东南大学学报（自然科学版）2012，Vol.42Issue(z1)：107-111,5.DOI:10.3969/j.issn.1001-0505.2012.S1.023
有效变迁覆盖在死锁预防策略中的应用
Application of effective transition covers to deadlock prevention policy
摘要
Abstract
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 one-to-one corresponding 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 transition 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 large-scale practical manufacturing systems. Finally, an example is used to illustrate the proposed deadlock prevention policy.关键词
自动制造系统/死锁预防/Petri网Key words
automated manufacturing system/ deadlock prevention/ Petri net分类
信息技术与安全科学引用本文复制引用
刘慧霞,邢科义,韩立斌,王峰..有效变迁覆盖在死锁预防策略中的应用[J].东南大学学报（自然科学版）,2012,42(z1):107-111,5.基金项目
国家自然科学基金资助项目(60774083,50975224). （60774083,50975224）
