基于变迁标签图编辑距离的过程模型相似性度量
来源：计算机集成制造系统杂志2016年第2期北京时间：
作者：王子璇,闻立杰,汪抒浩,王建民
单位：清华大学软件学院
摘要：针对现有过程模型行为相似性度量算法计算结果不够精准或者计算效率较低等问题,提出一种基于可覆盖图编辑距离的行为相似性度量算法(TAGER)。TAGER算法通过定义变迁标签图来表达过程模型的行为,定义了考虑模型行为的图编辑操作以及编辑距离的计算方法,设计了A*算法计算变迁标签图节点间匹配的最优方案。通过三角不等式满足率和平均计算耗时对TAGER算法的表现进行了评估,并从计算效率及性质满足情况等方面与其他主流算法进行了对比。
关键词：Petri网,相似性度量,可覆盖图,编辑距离,A*匹配算法
基金资助：国家自然科学基金资助项目(61472207);国家自然科学基金杰出青年基金资助项目(61325008)。
