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

摘要：

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

关键词：工作流模型、Petri 网、WF-Net、基本WF-net、正确性检查

所属期刊栏目：32

分类号：TP3;F40

资助基金：国家高技术研究发展计划863计划2001AA113090

在线出版日期：2005-03-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：121-124