文献详情


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

外文标题	Study on Soundness of Workflow Model Based on Petri Net
文献类型	期刊
作者	陈翔[1];夏国平[2];李涛[3]
机构	[1]北京理工大学管理与经济学院,北京航空航天大学经济管理学院,北京航空航天大学经济管理学院 北京　100081 ,北京　100083 ,北京　100083 [2]北京理工大学管理与经济学院,北京航空航天大学经济管理学院,北京航空航天大学经济管理学院 北京　100081 ,北京　100083 ,北京　100083 [3]北京理工大学管理与经济学院,北京航空航天大学经济管理学院,北京航空航天大学经济管理学院 北京　100081 ,北京　100083 ,北京　100083 ↓
来源信息	年:2004卷:24期:12页码范围:1074-1078
期刊信息	北京理工大学学报ISSN:1001-0645
关键词	工作流模型;工作流网;扩展自由选择网;模型验证
摘要	针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.
收录情况	PKUISTICCSCD
所属部门	经济管理学院
链接地址	http://d.g.wanfangdata.com.cn/Periodical_bjlgdxxb200412011.aspx
DOI	10.3969/j.issn.1001-0645.2004.12.011
人气指数	1
浏览次数	1
基金	国家自然科学基金; 香港研究资助局资助项目

全文|
影响因子：


暂无成果共有人
dc:title:基于Petri网的工作流模型合理性研究
dc:creator:陈翔;夏国平;李涛
dc:date: publishDate:2004-12-30
dc:type:期刊
dc:format: Media：北京理工大学学报
dc:identifier: LnterrelatedLiterature：北京理工大学学报.2004,24(12),1074-1078.
dc:identifier:DOI：10.3969/j.issn.1001-0645.2004.12.011
dc: identifier:ISBN:1001-0645