公开(公告)号：CN113361136A

公开(公告)日：2021-09-07

申请号：CN202110753601.X

申请日：2021-07-02

Applicant: 河北大学

Inventor： 冉宁 ,  李承旺 ,  郝晋渊 ,  郝真鸣 ,  张超岩

IPC: G06F30/20 ,  G06F119/18

Abstract: 本发明提供了一种基于Petri网的自动制造系统可诊断性验证方法。该方法包括如下步骤：(1)将自动制造系统抽象为Petri网模型并构建其无故障子网模型；(2)分析该自动制造系统的有界性；(3)构建该自动制造系统的标签可达图及其无故障子网的标签可达图；(4)建立SF验证器验证该自动制造系统是否满足可诊断性。本发明首先提出了标签可达图的概念和构建算法，其次提出了一种新的自动制造系统可诊断性的验证算法，并给出了自动制造系统满足可诊断性的充要条件。本发明无需假设故障后无死锁状态，即可对自动制造系统进行可诊断性分析，极大地扩大了应用范围。

公开(公告)号：CN113361136B

公开(公告)日：2022-04-29

申请号：CN202110753601.X

申请日：2021-07-02

Applicant: 河北大学

Inventor： 冉宁 ,  李承旺 ,  郝晋渊 ,  郝真鸣 ,  张超岩

IPC: G06F30/20 ,  G06F119/18

Abstract: 本发明提供了一种基于Petri网的自动制造系统可诊断性验证方法。该方法包括如下步骤：(1)将自动制造系统抽象为Petri网模型并构建其无故障子网模型；(2)分析该自动制造系统的有界性；(3)构建该自动制造系统的标签可达图及其无故障子网的标签可达图；(4)建立SF验证器验证该自动制造系统是否满足可诊断性。本发明首先提出了标签可达图的概念和构建算法，其次提出了一种新的自动制造系统可诊断性的验证算法，并给出了自动制造系统满足可诊断性的充要条件。本发明无需假设故障后无死锁状态，即可对自动制造系统进行可诊断性分析，极大地扩大了应用范围。