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

摘要：

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

关键词：工作流模型、工作流网、扩展自由选择网、模型验证

所属期刊栏目：24

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金79870005;香港研究资助局资助项目7991061987

在线出版日期：2005-02-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1074-1078