基于Petri网的工作流模型合理性研究
Study on Soundness of Workflow Model Based on Petri Net作者机构：北京理工大学管理与经济学院北京100081 北京航空航天大学经济管理学院北京100083
出 版 物：《北京理工大学学报》 (Transactions of Beijing Institute of Technology)
年 卷 期：2004年第24卷第12期
页 面：1074-1078页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金资助项目(79870005) 香港RGC联合资助项目NSFC/RGC(7991061987)
摘 要：针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.
维普期刊数据库
同方期刊数据库