一种判断梯形图程序的无“竞态”的方法

摘要

本发明涉及一种判断梯形图程序的无“竞态”的方法，将梯形图转化为包括多元组的关系图，如果梯形图的触点、线圈或者功能模块模拟而成的实结点不存在任何线路，使之沿任何一条线路都不能回到原点，则梯形图程序为无“竞态”。本发明所述的判断梯形图程序的无“竞态”的方法，是从梯形图程序结构的角度检测“竞态”，该方法可以简便，快速的判断出梯形图程序不存在“竞态”。当梯形图程序复杂时，使用传统的模型检测或定理证明，工作量是非常庞大的，并且容易出错，而本发明的工作量小，不易出错。

主权项

一种判断梯形图程序的无“竞态”的方法，其特征在于，将梯形图转化为包括多元组的关系图，如果梯形图的触点、线圈或者功能模块模拟而成的实结点不存在任何线路，使之沿任何一条线路都不能回到原点，则梯形图程序为无“竞态”。