Petri网平台上的LNG钢瓶生产线控制系统建模与设计

针对可编程逻辑控制器(Programmable Logic Controller,PLC)控制系统中,传统的程序设计框图难以描述并发事件、协调事件及竞争事件等控制问题,利用Petri网图形化的性质和对并发事件的建模能力,对液化天然气(Liquefied Natural Gas,LNG)钢瓶生产线控制系统进行建模.通过层次化建模和仿真分析,消除了系统设计中潜在的死锁、冲突和冲撞等问题.根据Petri网的变迁触发条件和托肯变化规则,列出逻辑表达式,将表达式中的“与”、“或”关系与PLC梯形图的“串”、“并”相对应,快速设计出清晰、可读性好及修改容易的PLC程序,通过实际运行,系统稳定可靠.