基于染色Petri网的工作流引擎实现

工作流引擎是工作流管理系统的核心,主要负责流程定义解析、案例创建、流程过程调度、任务的执行等功能。文章用Petri网进行建模,并利用层次染色Petri网优化工作流模型,安排流程,描述同步事件。在本模型中,使用Token的颜色来控制流程实例对象的调度与运行。整个工作流引擎系统的目的在于通过利用触发对变迁的控制,实现流程之间的简单协同;同时也利用不同流程之间库所的约束规则,实现流程的协同功能。