PLC顺序过程控制系统的状态分析与编程实现

状态迁移图和Petri网是软件工程中重要的系统动态分析方法,本文通过实例,介绍了如何用这些方法来分析PLC顺序过程控制系统中设备和系统的状态及其迁移变化规律,并给出相应的梯形图控制程序。