复杂柔性制造系统系统控制软件自动设计理论研究

国家自然科学基金资助项目“复杂柔性制造系统系统控制软件自动设计理论研究”，以Petri网理论为基础，以柔性制造系统为研究对象，研究了复杂制造过程实时控制软件自动设计的系统理论和方法。首先，基于通信顺序进程，设计了制造系统控制描述的规格说明，研究了制造系统Petri网控制器的形式化设计理论和方法，Petri网控制器的执行算法以及基于无死锁的Petri网控制器研究制造过程系统控制软件的自动设计理论和方法。研究结果表明，Petri网用于自动生产过程控制软件的设计为该方面的研究提供了一条良好的途径和方法，同时具有重要的意义和价值，基于（Petri）网的设计理论应用于先进制造系统是非常有前途的。