Petri网多重变迁集的行为轮廓一致性分析
Consistency analysis of behavioral profiles based on multi-sets of transitions of Petri net作者机构:安徽理工大学信息与计算科学系安徽淮南232001
出 版 物:《计算机工程与设计》 (Computer Engineering and Design)
年 卷 期:2013年第34卷第3期
页 面:935-938页
学科分类:08[工学] 080203[工学-机械设计及理论] 0802[工学-机械工程]
基 金:国家自然科学基金项目(61170059 61272153) 安徽省高校省级自然科学基金项目(KJ2011A086 KJ2012A073) 安徽省自然科学基金项目(1208085MF105) 安徽省软科学研究计划基金项目(12020503031)
主 题:Petri网 行为关系 行为轮廓 多重变迁集 一致性
摘 要:为有效解决业务流程模型中出现的重复活动的行为轮廓一致性问题,提出了一种基于Petri网多重变迁集的行为一致性测量方法。在多重变迁集的基础上,分析了模型行为轮廓中变迁的3种弱序关系,提出了一种考虑一致匹配变迁对与匹配变迁对的比值的测量方法,测量了包含重复活动的模型间的行为轮廓一致性服从度。通过理论和实例分析表明了该方法的有效性。