针对制造系统中资源单元与工序数量的增加，以及工序对资源单元之间复杂的竞争逻辑关系，加重了联合控制问题的复杂性。设计规划领域定义域语言与Petri网的转化架构，研究制造系统行为与结构的规划领域定义域语言模型自动构建，开发了规划领域定义域语言自动生成Petri网平台。
