工作流网Soundness验证

• 作者: 唐邦志 景韶宇 魏生民
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 工作流过程定义 工作流网 Sound
• 年，卷（期）: 2004,（6）
• 所属期刊栏目: 博士论坛
• 页码范围: 37-39,50
• 页数: 4页
• 分类号: TP391.1
• 字数: 4639字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.06.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏生民	西北工业大学现代设计与集成制造重点实验室	109	1032	18.0	26.0
2	唐邦志	西北工业大学现代设计与集成制造重点实验室	3	69	3.0	3.0
3	景韶宇	西北工业大学现代设计与集成制造重点实验室	11	139	7.0	11.0