着色赋时的面向对象Petri网（Colored Timed Object-Oriented PetriNet，CTOPN）是在面向对象Petri网的基础上，添加了着色令牌和输入输出......

Coloured Petri 网(简称 CP-nets 或CPN )是一种用于设计、详细说明、仿真和检验的面向图形的语言。它特别适合于那些通讯、同步、......