多资源复合共用FMS的死锁研究

Research on the Deadlock of Compound-Shared-Resource FMS

利用Petri网为多资源复合共用FMS进行建模 ,给出了关于此类系统死锁的一系列定义 ,讨论了系统死锁的充分必要条件。

The compound-shared-resource Flexible Manufacturing Systems(FMS) is modeled by petri net. A series of definitions about deadlock are given. The necessary and sufficient conditions of system deadlock are characterized.