%0 Journal Article
%T Modeling and Correctness Checking of Petri-Net-Based Workflow<br>基于Petri网的工作流建模与正确性分析
%A ZHOU Fu-Ming
%A WU Bin
%A GU Qing
%A CHEN Dao-Xu State Key Laboratory for Novel Software Technology
%A Nanjing University
%A Nanjing
%A <br>周福明
%A 吴斌
%A 顾庆
%A 陈道蓄
%J 计算机科学
%D 2005
%I 
%X 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.
%K Workflow model
%K Petri nets
%K WF-Net
%K Basic WF-net
%K Correctness checking<br>Petri网
%K 工作流建模
%K 正确性
%K 工作流模型
%K 算法
%K 工具
%K 使用
%K 图形表示
%K 定义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B6DE41A60589614A&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=0B39A22176CE99FB&sid=CDEBD1ACE0A4C1C1&eid=2F56B21F91C9B05B&journal_id=1002-137X&journal_name=计算机科学&referenced_num=5&reference_num=7