【摘 要】
：
为了提高事件日志与过程模型之间一致性检查的效率,提出一种基于Petri网基本结构的相似最优校准计算方法。根据网上购物流程建立Petri网模型,计算给定迹与模型之间的所有最优
【机 构】
：
山东科技大学信息科学与工程学院,山东科技大学信息工程系
【基金项目】
：
国家自然科学基金资助项目(61170078;61472228);山东省自然科学基金资助项目(ZR2014FM009;BS2014DX013);山东省泰山学者建设工程专项经费资助项目~~
论文部分内容阅读
为了提高事件日志与过程模型之间一致性检查的效率,提出一种基于Petri网基本结构的相似最优校准计算方法。根据网上购物流程建立Petri网模型,计算给定迹与模型之间的所有最优校准。分析发现有些最优校准包含的移动集合完全相同,只是移动出现顺序不同,定义为相似最优校准。通过对相似最优校准的性质进行分析得出定理与推论。定义最优校准相似关系和等价关系,给出了最优校准集合的划分方法,该方法可选取代表项,体现迹与过程模型之间的所有偏差。通过分析四种工作流模式提出多阶段校准算法,用于求解Petri网模型与约束迹之间相似最
其他文献
针对哈尔滨群力污水处理厂进水成分复杂,水质波动大等特点,通过调整曝气时间、污泥负荷、充水比、反硝化时间等,优化调整CASS工艺参数。试运行结果表明：该污水处理厂按进水0.5
目的研究绞股蓝、山楂提取物的协同抗氧化活性,探讨抗衰老作用机制。方法小鼠颈背部皮下注射D-半乳糖建立衰老模型,灌胃给予不同剂量的绞股蓝、山楂提取物,检测小鼠血液和肝
<正>柔性的电子设备可直接贴附于人体皮肤,用于监测心跳、血压。但是在实际应用中,庞大的外部电池会因为体积过大、供电不足或者噪声干扰等因素阻止设备的长期运行。近日,来
<正>在针织行业,教育部针织技术工程研究中心主任、江南大学针织技术研究所所长蒋高明是人尽皆知的人物。他熟知各地针织企业的技术需求,在他带领的研究中心,一大批符合市场
水为什么对人那么重要?我们该怎样喝水?喝什么样的水才不会损害我们的健康?这些看似简单的问题,其实很多人都给不出正确答案。男人女人都是水做的水充满于人体的各种组织和器
苦瓜酒是近年来市场上出现的一种保健药酒,具有清热解毒、怡心明目、养血滋肝、润脾补肾等多种功效。常饮苦瓜酒,可促进食欲、清热解毒、泄热通便,还可以预防和治疗感冒、扁
目的：探讨全科护理干预措施在控制腹部手术患者术后疼痛的应用效果。方法：将选取我院2010年02月～2011年02月间65例术后常规护理的腹部手术后疼痛患者为对照组，选取同期65例术后全
在经济全球化时期，一国（地区）对外投资能力的高低是其国际综合竞争力的表现之一。而对发展中国家来说，在发达国家跨国企业布局全球市场的前提下，提升对外投资能力困难重重。尤其在
探讨丙烯腈对雄性小鼠生殖细胞的毒性作用。 [方法 ]雄性ICR小鼠以 0、2 5、5、10mg/kg体重剂量连续腹腔注射染毒 5d ,2周后处死动物 ,观察睾丸中早期精细胞微核 ;ICR雄性小
目的：研究七氟醚-丙泊酚-芬太尼复合麻醉对小儿扁桃体摘除术后苏醒期躁动及神经内分泌代偿的影响。方法：选择在本院接受扁桃体摘除术的78例患者并随机分为两组,观察组接受七氟