[发明专利]检测和删除Petri网业务流程中结构冗余的方法及装置

说明书

本申请公开了一种根据本申请的检测和删除Petri网业务流程中结构冗余的方法及装置。该方法包括：将Petri网业务流程展开为完备前缀展开图；生成与所述完备前缀展开图对应的关联矩阵；对所述关联矩阵进行识别，并得到输入隐式库所、输出隐式库所和短隐式库所；对所述完备前缀展开图进行识别，得到长隐式库所；从所述Petri网业务流程中删除隐式库所；本申请达到了简化Petri网业务流程的目的，从而实现了业务流程模型更加利于阅读和理解的技术效果，进而解决了由于Petri网业务流程模型的结构很复杂、存在结构冗余的的技术问题。

技术领域

本申请涉及电力系统自动化技术领域，具体而言，涉及一种检测和删除 Petri网业务流程中结构冗余的方法及装置。

背景技术

根据云南电网调度中心电力调度的业务特点，一个完整的电力调度业务流程，从纵向看，会涉及省、地、县三级调度机构间的业务协同；从横向看，会涉及同级部门间的业务对接。为了直观图形化的描述电力调度流程，云南电网公司根据自身需求，编制了电力调度流程的描述格式及交换规范。虽然通过制定流程的描述格式及交换规范实现了异构系统间的流程信息交互，但这些电力调度业务流程缺少形式语义，无法确保业务流程不存在死锁、死任务和活锁。相关技术中具有如何电力调度业务流程转换Petri 网的方法。但是，针对这些Petri网业务流程，还存在下述技术问题：有些 Petri网业务流程模型的结构简单，而有些Petri网业务流程模型的结构却很复杂、存在结构冗余。这种结构冗余的业务流程模型不利于阅读和理解。

发明内容

本申请的主要目的在于提供一种检测和删除Petri网业务流程中结构冗余的方法，以解决Petri网业务流程模型的结构很复杂、存在结构冗余的问题。

为了实现上述目的，根据本申请的一个方面，提供了一种检测和删除 Petri网业务流程中结构冗余的方法及装置。

根据本申请的检测和删除Petri网业务流程中结构冗余的方法，包括：

将Petri网业务流程展开为完备前缀展开图；

生成与所述完备前缀展开图对应的关联矩阵；

对所述关联矩阵进行识别，并得到输入隐式库所、输出隐式库所和短隐式库所，其中：所述输入隐式库所为：在所述完备前缀展开图中，前集为空的条件节点对应的库所；所述输出隐式库所为：在所述完备前缀展开图中，后集为空的条件节点对应的库所；所述短隐式库所为：在所述完备前缀展开图中，前集和后集相同的两个或多个条件节点对应的库所；

对所述完备前缀展开图进行识别，得到长隐式库所；

从所述Petri网业务流程中删除隐式库所，所述隐式库所包括输入隐式库所、输出隐式库所、短隐式库所和长隐式库所。

进一步的，如前述的检测和删除Petri网业务流程中结构冗余的方法，其特征在于，所述将Petri网业务流程展开为完备前缀展开图，包括：

将所述Petri网业务流程使用McMillan’算法生成所述完备前缀展开图；包含：条件节点、事件节点和弧；所述条件节点为所述Petri网业务流程中的库所，所述事件节点为所述Petri网业务流程中的变迁；所述弧为所述Petri网业务流程中的弧。

所述的条件节点的命名方式为pi-j，其中pi表示所述条件节点在所述 Petri网业务流程中对应的库所pi，j表示所述条件节点在所述完备前缀展开图中被构造出现的先后次序；所述事件节点的命名方式为ti-j，其中ti 表示所述事件节点在Petri网业务流程中对应的变迁ti，j表示所述事件节点在所述完备前缀展开图中被构造出现的先后次序。

进一步的，如前述的检测和删除Petri网业务流程中结构冗余的方法，其特征在于，所述生成与所述完备前缀展开图对应的关联矩阵，包括：