摘要
针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则.
In view of the limitation of one node extension in the node refinement method during the workflow net（WF-net） modeling,a WF-net refinement method based on Petri net synthesis rules is proposed.The synthesis rules of live and bounded free choice nets are added with constraints to adapt them to the refinement of free choice WF-nets.Then separable WF-nets are defined and their separability-preserving synthesis rules are given.It is proved that the synthesized WF-nets by these rules from free choice or separable WF-nets are sound.For the two classes of WF-nets,this method enables their refinement to involve more than one node,and provides their modeling with fine-grained guidelines of a different dimension.
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2012年第2期200-206,共7页
Journal of Xidian University
基金
国家自然科学基金资助项目(60910004,60873018,91018010,61003078,61003079,61133001)
国家重点基础研究发展计划(973)资助项目(2010CB328102)
综合业务网理论及关键技术国家重点实验室基金资助项目(ISN1102001)
中央高校基本科研业务费专项资金资助项目(JY10000903004)
