工作流网合成规则及其在流程设计中的应用

作     者：张曼 段振华 ZHANG Man;DUAN Zhenhua

作者机构：西安电子科技大学计算理论与技术研究所陕西西安710071 西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071 

基　　金：国家自然科学基金资助项目(60910004,60873018,91018010,61003078,61003079,61133001) 国家重点基础研究发展计划(973)资助项目(2010CB328102) 综合业务网理论及关键技术国家重点实验室基金资助项目(ISN1102001) 中央高校基本科研业务费专项资金资助项目(JY10000903004) 

出 版 物：《西安电子科技大学学报》 (Journal of Xidian University)

年 卷 期：2012年第39卷第2期

页      码：200-206页

摘      要：针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则.

主 题 词：工作流 Petri网 合成规则 自由选择工作流网 可分离工作流网 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 0835[0835] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3969/j.issn.1001-2400.2012.02.033

馆 藏 号：203131102...