买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：山东理工大学

摘要：本发明公开了一种基于Petri网保性化简规则的精简流程模型挖掘方法与系统，包括：1将输入的事件日志通过InductiveMiner流程发现算法挖掘得到初始Petri网流程模型；2遍历流程模型的变迁节点，获取不可见变迁的位置信息；3根据不可见变迁位置信息按照流程模型化简规则判断是否符合化简条件，对符合化简条件的流程模型按照其对应类型的化简规则进行化简；4重复步骤3，直到流程模型不能再化简为止；5将化简后的流程模型与事件日志作合规性检查，测量拟合度和准确度，计算两者的综合指标F‑measure值，评估化简后流程模型的质量。本发明可有效地通过Petri网化简规则，降低流程模型的结构复杂性和减少过程模型的状态搜索空间，同时保证流程模型的可见行为，方便人们理解流程模型的行为。

主权项：1.基于Petri网保性化简规则的精简流程模型挖掘方法，其特征在于，包括以下步骤：1将输入的事件日志通过InductiveMiner流程发现算法挖掘得到初始Petri网流程模型，当前流程模型中包含大量不可见变迁；2遍历步骤1中流程模型的变迁节点，获取不可见变迁的位置信息；3根据步骤2获取的不可见变迁位置信息按照流程模型化简规则判断是否符合化简条件，对符合化简条件的流程模型按照其对应类型的化简规则进行化简；其中，按照以下7种流程模型化简规则进行判断变迁节点是否满足化简条件，所述7种流程模型化简规则如下：a、规则1：不可见变迁只有一个入边和一个出边，不可见变迁的前驱库所有多个入边和一个出边，不可见变迁的后继库所有多个入边和多个出边；化简规则1：将满足规则1的不可见变迁的前驱库所的所有入边添加到后继库所的入边上，删除不可见变迁以及连接该前驱库所和后继库所的入边和出边；b、规则2：不可见变迁只有一个入边和一个出边，不可见变迁的前驱库所有多个入边和多个出边，不可见变迁的后继库所只有一个入边和多个出边；化简规则2：将满足规则2的不可见变迁的后继库所的所有出边添加到前驱库所的出边上，删除不可见变迁以及连接该前驱库所和后继库所的入边和出边；c、规则3：不可见变迁有多个入边和只有一个出边，不可见变迁的后继库所只有一个入边和一个出边，不可见变迁的后继库所的后继变迁是可见变迁，有多个入边和多个出边；化简规则3：将满足规则3的不可见变迁的所有入边添加到下一个可见变迁的入边上，删除该不可见变迁、后继库所及所有连接不可见变迁和后继库所的所有入边和出边；d、规则4：不可见变迁有一个入边和多个出边，其前驱库所只有一个入边和一个出边，不可见变迁的前驱库所的前驱变迁是可见变迁，有多个入边和多个出边；化简规则4：将满足规则4的不可见变迁的所有出边添加到上一个可见变迁的出边上，删除该不可见变迁、其前驱库所及所有连接不可见变迁和前驱库所的所有入边和出边；e、规则5：可见变迁有多个入边和多个出边，通过至少两个以上库所能达到下一个可见变迁，下一个可见变迁也有多个入边和多个出边，两个可见变迁之间的至少两个以上库所只有一个入边和一个出边；化简规则5：将满足规则5的两个可见变迁之间的库所只保留一个，删除其它库所及连接两可见变迁的入边和出边；f、规则6：多个不可见变迁只有一个入边和一个出边，而且其前驱库所是同一库所，后继库所也是同一个库所，前驱库所和后继库所都有多个入边和多个出边；化简规则6：将满足规则6的两库所之间的多个不可见变迁只保留一个，删除其它的不可见变迁以及连接两库所的入边和出边；g、规则7：一个不可见变迁的前驱库所和后继库所只有一个且是同一个库所；化简规则7：将满足规则7的不可见变迁删除，并删除该不可见变迁的入边和出边；4重复步骤3，直到流程模型不能再化简为止，即可得到化简后的流程模型；5将步骤4中化简后的流程模型与事件日志作合规性检查，测量拟合度和准确度，计算两者的综合指标F-measure值，评估化简后流程模型的质量。

全文数据：

权利要求：

百度查询： 山东理工大学 基于Petri网保性化简规则的精简流程模型挖掘方法与系统