公开(公告)号：CN117522218A

公开(公告)日：2024-02-06

申请号：CN202311570646.9

申请日：2023-11-23

Applicant: 西安电子科技大学杭州研究院

Inventor： 保宏 ,  王其法 ,  杜茂华 ,  胡瑞贤 ,  江壮贤 ,  冷国俊

IPC: G06Q10/0639 ,  G06Q10/0635 ,  G06F16/248 ,  G06F16/242 ,  G06Q50/04

Abstract: 本发明公开了资源不可靠与事件不能观的自动制造系统稳健性分析方法，首先考虑自动制造系统的不可靠资源，再将不可靠资源故障形式化为不可靠资源库所的所有前置变迁（表示为不可靠变迁），通过自主开发的软件PNA得到相应Petri网的可达图，删除不可靠变迁得到简化可达图，对具有不可靠资源的AMS进行稳健性分析，得到对应Petri网的强稳健标记集，弱稳健标记集以及非稳健标记集，然后在简化可达图的基础上考虑不能观变迁，通过考虑有些变迁是不能观的，得到具有不能观的简化可达图，最后在不能观的简化可达图的基础上进行稳健性分析，得到相应的强稳健标记集，弱稳健标记集以及非稳健标记集。