摘要
对柔性制造系统提出了一种新的死锁预防控制算法。运用区域理论对Petri网模型设计一个控制器,对控制器中所有严格极小信标求取控制库所与资源库所的代数式,保证了所有的严格极小信标受控。与现有方法相比,该策略不必考虑控制器结构,只需根据这些代数式分布控制器中的资源,就可以得到相应无死锁监督控制器。
A new deadlock prevention policy for flexible manufacturing systems （FMS） was presented. A supervisor for Petri nets model using the theory of regions was designed. An algebraic expression about control places and resource places for all the strict minimal siphons （SMS） of the supervisor were obtained to ensure the controllability of them. Compared with the existing policies, the advantage of this paper is that resources allocation in the supervisor follows the expressions only, which result in obtaining a deadlock-free supervisor without changing the structure of the supervisor.
出处
《计算机科学》
CSCD
北大核心
2008年第11期255-257,280,共4页
Computer Science
基金
国家自然科学基金(60474018)
教育部归国留学人员基金(2004-527)
教育部归国留学人员实验室基金(03401)
