论文部分内容阅读
在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能。控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性，因此无法充分描述真实的执行过程。为此提出下述解决方法：首先在控制程序的编译阶段，使用Petri网建立网模型以表示程序执行逻辑，其次在控制程序的执行阶段，根据程序真实执行状况动态运行上述网模型，当程序运行结束时网模型停止执行，由此判断程序中存在的逻辑错误。