专利交易市场

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

本发明涉及多语言的Modelica组件批量生成系统，包括批量提取部件、函数分析部件、项目生成部件、函数生成部件、项目编译部件、Modelica组件生成部件等。批量提取部件用于从文件夹中批量获取待处理的动态库和头文件；函数分析部件用于分析得到对应动态库的每个导出函数的返回值类型、函数名称、函数参数列表等；项目生成部件用于新生成一个符合Modelica规范的外部动态库项目；函数生成部件用于生成一个符合Modelica使用规范的外部函数；项目编译部件用于对动态库工程和源码的编译；Modelica组件生成部件用于为外部函数建立对应的mo文件，生成Modelica组件。本发明提供了将C/C++、Fortran、Matlab等语言编写的功能模块以动态库的方式转化为Modelica组件的系统和方法，提供了转换途径，提高了转换效率。