基于Petri网的无死锁控制器设计

摘要：

对柔性制造系统提出了一种新的死锁预防控制算法.运用区域理论对Petri网模型设计一个控制器,对控制器中所有严格极小信标求取控制库所与资源库所的代数式,保证了所有的严格极小信标受控.与现有方法相比,该策略不必考虑控制器结构,只需根据这些代数式分布控制器中的资源,就可以得到相应无死锁监督控制器.

关键词：柔性制造系统、死锁预防、Petri网、区域理论

所属期刊栏目：35

分类号：TP3;TN9

资助基金：国家自然科学基金60474018;教育部归国留学人员基金2004～527;教育部归国留学人员实验室基金03401

在线出版日期：2009-02-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：255-257,280