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

龙图腾网获悉华侨大学申请的专利基于PDDL语言的制造系统有色Petri网模型建立方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119718336B 。

龙图腾网通过国家知识产权局官网在2025-07-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510221171.5，技术领域涉及：G06F8/51；该发明授权基于PDDL语言的制造系统有色Petri网模型建立方法及系统是由罗继亮;林泽轩;周家忠;孙莎莎;王硕设计研发完成，并于2025-02-27向国家知识产权局提交的专利申请。

本基于PDDL语言的制造系统有色Petri网模型建立方法及系统在说明书摘要公布了：本发明涉及调度技术领域，公开了一种基于PDDL语言的制造系统有色Petri网模型建立方法及系统，方法包括以下步骤：更新PDDL语言，使用更新后的PDDL语言描述制造系统的资源与任务，生成制造系统PDDL模型；设计PDDL语言与有色Petri网的转换规则，将PDDL模型中的对象、初始、目标、谓词、动作与类型转化为有色Petri网的库所、变迁与有向弧，生成制造系统有色Petri网模型。本发明对PDDL语法进行扩展，并设计PDDL自动转化为有色Petri网的转换规则，自动将PDDL模型转化为有色Petri网，相较于手动建立有色Petri网的优势在于简化了建模过程，提高了建模效率。

本发明授权基于PDDL语言的制造系统有色Petri网模型建立方法及系统在权利要求书中公布了：1.一种基于PDDL语言的制造系统有色Petri网模型建立方法，其特征在于，包括以下步骤： 更新PDDL语言，使用更新后的PDDL语言描述制造系统的资源与任务，生成制造系统PDDL模型； 设计PDDL语言与有色Petri网的转换规则，将PDDL模型中的对象、初始、目标、谓词、动作与类型转化为有色Petri网的库所、变迁与有向弧，生成制造系统有色Petri网模型； 所述更新PDDL语言，包括： 将对象的种类与状态组合成为对象的属性，对象的类型由intsort表示，对象的状态由intprocess或boolstate表示，其中，intprocess用于表示制造系统中工件处于哪种加工状态，boolstate用于表示制造系统中的自动引导车agv带载与空载的状态；所有属性的集合称为对象类，表示为objectcategoryandstate:intsort,intprocess,boolstate； 添加对象类对基元动作中谓词的属性进行约束； 使用符号表示当前基元动作中对象类的属性，该符号会对动作中前提或影响的谓词进行约束； 所述PDDL语言与有色Petri网的转换规则，包括： 在一个基元动作中，对于其前提中的谓词，如果谓词由“atstart”修饰，并且谓词对应的非动作库所的颜色与基元动作输入变迁的颜色对应，则这些非动作库所对应基元动作输入变迁的输入库所；如果谓词由“atend”修饰，并且谓词对应的非动作库所的颜色与基元动作输入变迁的颜色对应，则这些非动作库所对应基元动作输出变迁的输入库所； 在一个基元动作中，对于影响中的谓词，如果由“atstart”修饰，并且谓词对应的非动作库所的颜色与基元动作输入变迁的颜色对应，则这些非动作库所对应基元动作输入变迁的输出库所；如果谓词由“atend”修饰，并且谓词对应的非动作库所的颜色与基元动作输入变迁的颜色对应，则这些非动作库所对应基元动作输出变迁的输出库所。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华侨大学，其通讯地址为：362000 福建省泉州市丰泽区城东城华北路269号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。