摘要：Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。

关键词：petri网 工作流 建模 正确性 

单位：中国电子科技集团公司第41研究所 安徽蚌埠233006