柔性制造系统中死锁避免的充要条件第一部分：资源竞争过程的建模

柔性制造系统的主要特点是多种不同类型的工件同时在系统中加工，这些工件竞争系统的有限资源，导致象系统死锁等这样的不希望事件的发生，本文用一种Ｐｅｔｒｉ网模型，称之为着色面向资源的Ｐｅｔｒｉ网（着色ＲＯＰＮ）来描述系统中的这一竞争过程；这一模型揭示了资源竞争过程的本质特点，从而为寻求死锁避免的充要条件提供了基础。

MSs are characterized by the ability to process multiple part types simultaneously.Theseparts compete for the finite resources in the system,this causes the occurrence of some undesired events suchas deadlocks. A petri net model,called colored resource-oriented petri net (colored POPN),is developed tothe resource contention process.This model describes the essential characteristics of the resource contentionin FMSs,so that it is possible to search the sufficient and necessary conditions for deadlock avoidance by us- ing this model。