摘要
该文基于Ｐｅｔｒｉ网的结构特性，针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Ｐｅｔｒｉ网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识，将扩展网限制到安全标识，从而避免了全局死锁的发生。
Based on structural analysis of Petri Net, this paper presents a deadlock avoidance method in FMS where sequential processes share many distinct resources.Global deadlocks are avoided by adding local control places ensuring that minimal deadlocks which are not traps remain always marked in initial nets and by restricting the augmented net to safe markings.
出处
《南京理工大学学报》
EI
CAS
CSCD
1998年第3期264-267,共4页
Journal of Nanjing University of Science and Technology
基金
南京理工大学科研发展基金
关键词
柔性制造系统
死锁
控制
PETRI网
flexible manufacturing system, deadlocks, control methods
Petri net
