论文部分内容阅读
着色Petri网（Colored Petri NetCPN）是具有层次性的高级Petri网，它扩展了普通Petri网的特性．着色Petri网的着色主要针对token和库所而言。通过对token着色，从而在用着色Petri网建立的模型中表现出不同的资源，使得库所和变迁的数量都大为减少，图形更加简约。本文通过对CPN定义的介绍，系统地阐述了基于着色Petri网工作流模型的特点。