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

关键词: Petri网 工作流建模 正确性 工作流模型 算法 工具 使用 图形表示 定义