摘要: |
针对舱体制造单元控制系统开发与调试周期长、控制逻辑正确性难以评估的问题,提出一种基于Petri网建模仿真与面向对象的PLC程序快速设计方法。该方法首先依据产品工艺流程,形成单元制造流程,并基于Petri网建立制造单元控制系统模型,通过Petri网仿真与优化,使得Petri网模型可达、有界、无死锁、无冲突,再通过在PLC程序设计中融入库所、变迁、托肯、有向弧的元素,实现Petri网并发、争夺、共享资源的特性,最后,面向Petri网模型中的对象,将Petri网模型中的对象快速映射至PLC程序中,使PLC运行逻辑与Petri网模型保持一致。本文以舱体制造单元为例,阐述了该方法的应用。 |
关键词: Petri网;仿真;控制系统;PLC程序设计 |
基金项目: |
|
Research on Cell Control System and Programming Based on Petri Net |
Kong Zhixue Huang Piao Mu Yingjuan Li Lingxiao
|
Shanghai Spaceflight Precision Machinery Institute, Shanghai 201600
|
Abstract: |
For the problems of long development and debugging cycle, and the difficulty of evaluating the correctness of the control logic of the control system of the cabin manufacturing unit, a rapid design method of PLC program based on Petri net modeling simulation and object-oriented is proposed. This method first forms the unit manufacturing process according to the product process, establishes the manufacturing unit control system model based on Petri net, and makes Petri net model reachable, bounded, no deadlock, no conflict, through Petri net simulation and optimization. Then, by integrating the elements of place, transition, token, and directed arc in the PLC program design, the characteristics of Petri net concurrency, contention, and shared resources are realized. Finally, facing the objects in the Petri net model, the objects in the Petri net model are quickly mapped into the PLC program, so that the PLC operation logic is consistent with the Petri net model. This article takes the cabin manufacturing unit as an example to illustrate the application of this method. |
Key words: petri net;simulation;control system;PLC programming |