基于petri网的工作流建模与正确性分析

目前用于工作流建模和分析的工具很多，petri网以其坚实的数学基础、直观的图形表示受到大家的青昧。本文介绍了如何使用wf-net建立工作流模型，并根据aalst给出的wf-net正确性定义提出了一个算法，用来检查该wf-net的正确性。