【论文】基于Petri网的单元控制系统及编程研究

qq_1537237806

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