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

龙图腾网获悉西安电子科技大学申请的专利一种自动制造系统的活性监督控制器设计方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117369273B 。

龙图腾网通过国家知识产权局官网在2026-05-08发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202311479871.1，技术领域涉及：G05B13/04；该发明授权一种自动制造系统的活性监督控制器设计方法是由陈晨;胡核算;吕张意设计研发完成，并于2023-11-08向国家知识产权局提交的专利申请。

本一种自动制造系统的活性监督控制器设计方法在说明书摘要公布了：本发明公开了一种自动制造系统的活性监督控制器设计方法。自动制造系统由一类Petri网建模。针对该类Petri网中的一个可控变迁，本发明从一个具有活性监督控制策略的初始状态集合中构造出一个子集，该子集的任何状态下，无论不可控变迁如何发射，可控变迁总是控制使能的。再根据该子集构造出子控制器，该子控制器控制可控变迁的使能。所有可控变迁的子控制器均构造好后，再构造协调器来对子控制器进行协调，协调器确保在一个状态下只能允许一个可控变迁发射。本发明将原本的活性监督控制策略转化为Petri网模型，构成了统一的闭环的受控系统，从而可以借助于Petri网的分析软件进行仿真和分析。

本发明授权一种自动制造系统的活性监督控制器设计方法在权利要求书中公布了：1.一种自动制造系统的活性监督控制器设计方法，其特征在于，包括： 将自动制造系统抽象为一类Petri网模型； 对于Petri网模型中的任意一个第一可控变迁，从Petri网模型的具有活性监督控制策略的初始状态集合中，构造出第二子集，在该第二子集中的任一状态下，无论不可控变迁如何发射，所述第一可控变迁总是控制使能的；构造所述第二子集，包括：从中构造出第一子集，在该第一子集中的任一状态下，所述第一可控变迁均是控制使能的；从所述第一子集中构造出所述第二子集； 根据所有第一可控变迁的第二子集，构造双层活性监督控制器，底层分别为控制各第一可控变迁使能的子控制器，顶层为控制被使能的第一可控变迁发射的协调器；所述协调器在同一状态下仅允许一个第一可控变迁发射；所述子控制器包括第一库所、第二库所，以及与第二子集中的状态一一对应的第二可控变迁集合，第二库所在初始状态下包括一个托肯；利用第二库所、第二可控变迁集合，以及第一库所，对所述第一可控变迁的使能进行控制；所述子控制器的设计方法，包括： 增添个第二可控变迁分别与第二子集中的状态一一对应，为所述第二子集中的状态数量； 增添第一库所和第二库所，在第二库所中放入一个托肯； 对于每个和，为第二子集的标识集，，从到添加一个弧，弧权值为，且从到的弧权值为； 分别增添从第二可控变迁到第一库所的连接弧，增添第一库所到所述第一可控变迁的连接弧，弧权值均为1； 分别增添从第二库所到第二可控变迁的连接弧，增添所述第一可控变迁到第二库所的连接弧，弧权值均为1。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安电子科技大学，其通讯地址为：710071 陕西省西安市雁塔区太白南路2号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。