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