Petri网多重变迁集的行为轮廓一致性分析  

Consistency analysis of behavioral profiles based on multi-sets of transitions of Petri net

作　　者：王咪咪[1] 方贤文[1] 

机构地区：[1]安徽理工大学信息与计算科学系,安徽淮南232001

出　　处：《计算机工程与设计》2013年第3期935-938,共4页Computer Engineering and Design

基　　金：国家自然科学基金项目(61170059;61272153);安徽省高校省级自然科学基金项目(KJ2011A086;KJ2012A073);安徽省自然科学基金项目(1208085MF105);安徽省软科学研究计划基金项目(12020503031)

摘　　要：为有效解决业务流程模型中出现的重复活动的行为轮廓一致性问题,提出了一种基于Petri网多重变迁集的行为一致性测量方法。在多重变迁集的基础上,分析了模型行为轮廓中变迁的3种弱序关系,提出了一种考虑一致匹配变迁对与匹配变迁对的比值的测量方法,测量了包含重复活动的模型间的行为轮廓一致性服从度。通过理论和实例分析表明了该方法的有效性。To solve the consistency problem of behavioral profiles between duplicate activities appeared in business process mo dels effectively, a measure method of behavior consistency based on behavioral profiles of multisets of transitions of Petri net is presented. On the basis of multisets of transitions, by analyzing three kinds of weak order relations of transitions in behavioral profiles of process models, a measure method that considers the consistent aligned transition pairs in the ratio of the aligned tran sitions pairs is presented, and the degree of consistency of behavioral profiles of corresponding models containing repeat activities are computed. The theoretical analysis and specific example show that the method is very effective.

关 键 词：PETRI网 行为关系 行为轮廓 多重变迁集 一致性 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]