科创中国
一种基于Petri网的自动制造系统可诊断性验证方法
发布时间: 2025-06-10
基本信息
合作方式：
技术转让
成果类型：
发明专利
行业领域：
电子信息技术,新型电子元器件
成果介绍
本发明提供了一种基于Petri网的自动制造系统可诊断性验证方法。该方法包括如下步骤：(1)将自动制造系统抽象为Petri网模型并构建其无故障子网模型；(2)分析该自动制造系统的有界性；(3)构建该自动制造系统的标签可达图及其无故障子网的标签可达图；(4)建立SF验证器验证该自动制造系统是否满足可诊断性。本发明首先提出了标签可达图的概念和构建算法，其次提出了一种新的自动制造系统可诊断性的验证算法，并给出了自动制造系统满足可诊断性的充要条件。本发明无需假设故障后无死锁状态，即可对自动制造系统进行可诊断性分析，极大地扩大了应用范围。
成果亮点
该专利成果显著。其一，大幅提升了自动制造系统可诊断性验证的准确性与效率。基于Petri网构建的验证模型，能精准刻画系统运行逻辑与故障传播路径，通过严谨的数学推导和算法分析，快速且准确地判断系统是否具备可诊断性，有效避免了传统方法中因模型简化或主观判断带来的误差，为系统优化与故障排查提供了可靠依据。其二，增强了验证方法的通用性与灵活性。该方法可适配多种类型的自动制造系统，不受系统规模和复杂度的严格限制，能根据不同系统的特点进行定制化验证，为企业节省了大量因系统差异而重复开发验证工具的成本。
团队介绍
河北大学是教育部与河北省人民政府“部省合建”高校，也是河北省重点支持的国家一流大学建设一层次高校。学校始建于1921年，初名天津工商大学，历经多次更名，1960年定名为河北大学。历经百年发展，学校学科门类齐全，涵盖文、理、工、医等多领域，拥有多个国家级和省级重点学科、科研平台。师资力量雄厚，教学科研成果丰硕。河北大学秉持“实事求是”校训，致力于培养高素质人才，服务国家和地方经济社会发展，在国内外享有较高声誉。
成果资料
产业化落地方案
成果综合评价报告
评价单位：- (-) 评价时间：2025-06-17
苏博晖
保定市知识产权协会
技术经理人
综合评价
该项目技术思路方向很好，未来市场空间大，有利于当前政策要求，转化成熟度很高，值得支持推广。建议强化相应产品开发，加大产业链开发力度。技术转让，所需资金需双方协商，此项技术想尽快落地，希望具备此项技术研发的技术方，能够尽快承接次项目。
查看更多>
下载app