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

计算机科学 ›› 2008, Vol. 35 ›› Issue (11): 255-257.

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

韦娜赵咪闫明明

西安电子科技大学机电工程学院,西安710071

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金（60474018）,教育部归国留学人员基金（2004-527）,教育部归国留学人员实验室基金（03401）.

WEI Na, ZHAO Mi Y,AN Ming-ming （School of Electro-Mechanical Engineering, Xidian University, Xi~an 710071 ,China）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

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

Abstract: 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 minima

Key words: FMS, Deadlock prevention, Petri net, Theory of regions

韦娜赵咪闫明明. 基于Petri网的无死锁控制器设计[J]. 计算机科学, 2008, 35(11): 255-257. https://doi.org/

WEI Na, ZHAO Mi Y,AN Ming-ming （School of Electro-Mechanical Engineering, Xidian University, Xi~an 710071 ,China）. [J]. Computer Science, 2008, 35(11): 255-257. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed