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

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

为有效解决业务流程模型中出现的重复活动的行为轮廓一致性问题,提出了一种基于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.