基于着色Petri网工作流模型概述

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