基于Petri网的工作流逻辑控制解决方案

文章针对工作流引擎的内核设计给出了严格的数学定义以及相应的规则说明。在Petri网的基础上,将工作流基本元素分成两类:业务元素与逻辑控制元素。将对工作流程的逻辑控制交给逻辑控制元素完成。通过解释工作流常见的几种路由模型,说明逻辑控制需要解决两个方面的控制问题,并给出相应的解决方案。