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