一种着色赋时的面向对象Petri网及在自动制造系统中的应用

A Colored Timed Object-Oriented Petri Net and Its Applications on AMS

着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.

Based on Object-Oriented Petri net, a class of high level Petri net named CTOPN, i.e. Colored Timed Object-Oriented Petri Net is defined, with extensions to Object-Oriented Petri net such as colored tokens and input（output） transform functions. The basic definition of CTOPN and the method of building a CTOPN model are introduced. The example in AMS and the deadlock analysis of the model is given at last. The static structure and the dynamic behavior of a complex system can be exactly described by CTOPN. CTOPN can be used as formal modeling tool for Object-Oriented system.