首页 | 官方网站   微博 | 高级检索  
     

基于Petri网的工作流建模与正确性分析
引用本文:周福明,吴斌,顾庆,陈道蓄.基于Petri网的工作流建模与正确性分析[J].计算机科学,2005,32(2):121-124.
作者姓名:周福明  吴斌  顾庆  陈道蓄
作者单位:南京大学软件新技术国家重点实验室,南京,210093
基金项目:国家863项目支持,项目编号:2001AA113090
摘    要:目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青昧。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。

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

Modeling and Correctness Checking of Petri-Net-Based Workflow
ZHOU Fu-Ming,WU Bin,GU Qing,CHEN Dao-Xu.Modeling and Correctness Checking of Petri-Net-Based Workflow[J].Computer Science,2005,32(2):121-124.
Authors:ZHOU Fu-Ming  WU Bin  GU Qing  CHEN Dao-Xu
Affiliation:ZHOU Fu-Ming,WU Bin,GU Qing,CHEN Dao-Xu State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210093
Abstract: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.
Keywords:Workflow model  Petri nets  WF-Net  Basic WF-net  Correctness checking  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号