| 工作流网Soundness验证 |
| |
| 引用本文： | 唐邦志,魏生民,景韶宇.工作流网Soundness验证[J].计算机工程与应用,2004,40(6):37-39,50. |
| |
| 作者姓名： | 唐邦志 魏生民 景韶宇 |
| |
| 作者单位： | 西北工业大学现代设计与集成制造重点实验室,西安,710072 |
| |
| 基金项目： | 国家863高技术研究发展计划项目(编号:2002AA414060)资助 |
| |
| 摘 要： | 工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。
|
| 关 键 词： | 工作流过程定义 工作流网 Sound |
| 文章编号： | 1002-8331-(2004)06-0037-03 |
Workflow Net Soundness Verification |
| |
| Tang Bangzhi,Wei Shengming Jing Shaoyu.Workflow Net Soundness Verification[J].Computer Engineering and Applications,2004,40(6):37-39,50. |
| |
| Authors: | Tang Bangzhi Wei Shengming Jing Shaoyu |
| |
| Abstract: | 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. |
| |
| Keywords: | Workflow Process Definition Workflow net Sound |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
