摘要
用着色面向资源的ｐｅｔｒｉ网模型来描述柔性制造系统中的工件竞争过程，该模型揭示了资源竞争过程的本质特征，从而推导出柔性制造系统中无死锁运行的条件，得出控制规律．
A petri net model, called colored resource oriented petri net, is developed to describe the resource contention process. It reveals the essential characteristics of the resource contention in FMS, so that it is possible to search for the conditions for deadlock avoidance in FMS, and to obtain the corresponding control law.
关键词
柔性制造系统
死锁
PETRI网
生产调度
flexible manufacturing system
discrete event system
petri net
deadlock avoidance
