The compound-shared-resource Flexible Manufacturing Systems(FMS) is modeled by petri net.
利用Petri网为多资源复合共用FMS进行建模 ,给出了关于此类系统死锁的一系列定义 ,讨论了系统死锁的充分必要条件。