基于可替换性Pe tri网工作流模型合理性验证

• 作者: 时慧晶 李雄
• 来源期刊: 微处理机
• 学科: 工学
• 关键词: 工作流模型 结构合理性 工作流网 可替换性
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 微机网络与通信
• 页码范围: 18-20,24
• 页数: 4页
• 分类号: TP301.2
• 字数: 1318字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-2279.2014.03.006

摘要

所谓工作流是一类能够完全或者部分自动执行的业务过程，它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间传递、执行，模型结构的合理性对于工作流来说是至关重要的。提出一种基于WF-net可替换性模型结构合理性验证方法，通过合理且安全的构造块分步构造模型，最终完成对模型的合理性验证。通过对昆明船舶设备研究试验中心的公文发文过程进行分析，利用着色时间Petri网建立工作流模型无需冗杂的计算，此方法适合于复杂工作流模型的合理性验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	时慧晶		6	5	2.0	2.0
2	李雄		2	7	2.0	2.0