摘要
目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青睐。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。
There are a lot of modeling and analysis tools available for workflow,but Petri nets is more preferable be- cause of its solid mathematical foundation and graphical nature. This paper introduces the notion of WF-Net and the method modeling workflow with WF-Net. At last,this paper introduces the definition of correctness offered by Aalst, and presents an algorithm based on it to check the correctness of the WF-Net.
出处
《计算机科学》
CSCD
北大核心
2005年第2期121-124,共4页
Computer Science
基金
国家863项目支持
项目编号:2001AA113090
