论文部分内容阅读
针对舱体制造单元控制系统开发与调试周期长、控制逻辑正确性难以评估的问题,提出一种基于Petri网建模仿真与面向对象的PLC程序快速设计方法。该方法首先依据产品工艺流程,形成单元制造流程,并基于Petri网建立制造单元控制系统模型,通过Petri网仿真与优化,使得Petri网模型可达、有界、无死锁、无冲突,再通过在PLC程序设计中融入库所、变迁、托肯、有向弧的元素,实现Petri网并发、争夺、共享资源的特性,最后,面向Petri网模型中的对象,将Petri网模型中的对象快速映射至PLC程序中,使PLC