工作流网Soundness验证

摘要：

工作流过程定义可以采用不同的建模方法.工作流网是Petri网技术在工作流过程定义中的具体应用.工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达.论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法.

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

所属期刊栏目：40

分类号：TP391.1(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA414060

在线出版日期：2004-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：37-39,50