工作流网Soundness验证  

Workflow Net Soundness Verification

作　　者：唐邦志[1] 魏生民[1] 景韶宇[1] 

机构地区：[1]西北工业大学现代设计与集成制造重点实验室,西安710072

出　　处：《计算机工程与应用》2004年第6期37-39,50,共4页Computer Engineering and Applications

基　　金：国家863高技术研究发展计划项目(编号:2002AA414060)资助

摘　　要：工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。There are many modeling methods in building workflow process definition.Workflow net(WF-Net)is the ap-plication of Petri net in workflow process definition.The correctness and reliability of workflow process definition corre-spond to the soundness property of Workflow net.Besides the concepts of WF-Net and soundness of WF-Net,the veri-fication methods of soundness of free-choice net and well-structured workflow net are introduced in this paper.

关 键 词：工作流过程定义 工作流网 SOUND 

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术]