| 基于Petri网的工作流模型合理性研究 |
| |
| 引用本文： | 陈翔,夏国平,李涛.基于Petri网的工作流模型合理性研究[J].北京理工大学学报,2004,24(12):1074-1078. |
| |
| 作者姓名： | 陈翔 夏国平 李涛 |
| |
| 作者单位： | 1. 北京理工大学,管理与经济学院,北京,100081
2. 北京航空航天大学,经济管理学院,北京,100083 |
| |
| 基金项目： | 国家自然科学基金
,
香港研究资助局资助项目 |
| |
| 摘 要： | 针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.
|
| 关 键 词： | 工作流模型 工作流网 扩展自由选择网 模型验证 Petri Net 工作流 流模型 理性研究 Based Workflow Model Soundness 合理性 验证 秩定理 结合 算法 特征 死锁 最小 扩展自由选择网 完全 网络调整 系统行为 结构特性 |
| 文章编号： | 1001-0645(2004)12-1074-05 |
| 收稿时间： | 2004/3/24 0:00:00 |
| 修稿时间： | 2004年3月24日 |
Study on Soundness of Workflow Model Based on Petri Net |
| |
| CHEN Xiang,XIA Guo-ping and LI Tao.Study on Soundness of Workflow Model Based on Petri Net[J].Journal of Beijing Institute of Technology(Natural Science Edition),2004,24(12):1074-1078. |
| |
| Authors: | CHEN Xiang XIA Guo-ping and LI Tao |
| |
| Institution: | CHEN Xiang~1,\ XIA Guo-ping~2,\ LI Tao~2 |
| |
| Abstract: | Due to the difficulty of constructing sound workflow model, this paper maps the workflow model defined by workflow management coalition (WFMC) to workflow net (WF-net). Based on the definition of two adjustment mappings proved not to destroy structure properties and system behaviors, this paper adjust the WF-net to a complete extended free choice net (EFC-net). Proved the equivalent deadlock properties of EFC-net and free choice net (FC-net), this paper introduces an algorithm to obtain minimum deadlock. Finally, combined with rank theorem, an algorithm is given to verify whether a WF-net is soundness. |
| |
| Keywords: | workflow model workflow net(WF-net) extended free choice net (EFC-net) model verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京理工大学学报》浏览原始摘要信息 |
| 点击此处可从《北京理工大学学报》下载免费的PDF全文 |
