%0 Journal Article
%T 基于petri网的工作流建模与正确性分析
%A 周福明 吴斌 顾庆 陈道蓄？
%J 计算机科学
%D 2005
%X 目前用于工作流建模和分析的工具很多，petri网以其坚实的数学基础、直观的图形表示受到大家的青昧。本文介绍了如何使用wf-net建立工作流模型，并根据aalst给出的wf-net正确性定义提出了一个算法，用来检查该wf-net的正确性。
%K petri网工作流建模正确性工作流模型算法工具使用图形表示定义
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=11813224&flag=1