基于Petri网的工作流模型合理性研究

• 作者: 夏国平 李涛 陈翔
• 来源期刊: 北京理工大学学报
• 学科: 工学
• 关键词: 工作流模型 工作流网 扩展自由选择网 模型验证
• 年，卷（期）: 2004,（12）
• 所属期刊栏目: 信息科学与控制
• 页码范围: 1074-1078
• 页数: 5页
• 分类号: TP311
• 字数: 4467字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0645.2004.12.011

摘要

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈翔	北京理工大学管理与经济学院	18	263	8.0	16.0
2	夏国平	北京航空航天大学经济管理学院	78	1513	21.0	36.0
3	李涛	北京航空航天大学经济管理学院	33	261	9.0	16.0