基于着色Petri网的工作流建模和合理性分析
外文标题 | Workflow Modeling Based on Colored Petri Nets and its Soundness Analysis |
文献类型 | 期刊 |
作者 | 陈翔[1];夏国平[2] |
机构 | [1]北京理工大学管理与经济学院,北京航空航天大学经济管理学院 北京 100081,北京 100083 [2]北京理工大学管理与经济学院,北京航空航天大学经济管理学院 北京 100081,北京 100083 ↓ |
来源信息 | 年:2004卷:10期:4页码范围:381-387 |
期刊信息 | 计算机集成制造系统ISSN:1006-5911 |
关键词 | 工作流模型;着色Petri网;扩展自由选择 |
摘要 | 针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络.通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化.在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决. |
收录情况 | PKU |
所属部门 | 经济管理学院 |
链接地址 | http://d.g.wanfangdata.com.cn/Periodical_jsjjczzxt200404004.aspx |
DOI | 10.3969/j.issn.1006-5911.2004.04.004 |
人气指数 | 3 |
浏览次数 | 3 |
基金 | 国家自然科学基金; 香港研究资助局资助项目 |
全文
影响因子:
dc:title:基于着色Petri网的工作流建模和合理性分析
dc:creator:陈翔;夏国平
dc:date: publishDate:2004-04-25
dc:type:期刊
dc:format: Media:计算机集成制造系统
dc:identifier: LnterrelatedLiterature:计算机集成制造系统.2004,10(4),381-387.
dc:identifier:DOI:10.3969/j.issn.1006-5911.2004.04.004
dc: identifier:ISBN:1006-5911