中文摘要：

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

英文摘要：

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.