发明授权
CN103019233B 一种检测PLC梯形图程序中是否存在竞态的方法
失效 - 权利终止
- 专利标题： 一种检测PLC梯形图程序中是否存在竞态的方法
- 专利标题（英）： Method for detecting whether race condition exists in PLC (programmable logic controller) ladder diagram program or not
-
申请号： CN201210564793.0申请日： 2012-12-21
-
公开(公告)号： CN103019233B公开(公告)日： 2015-04-15
- 发明人: 罗继亮 , 齐鹏飞 , 陈雪琨
- 申请人： 华侨大学
- 申请人地址： 福建省泉州市丰泽区城东华侨大学
- 专利权人： 华侨大学
- 当前专利权人： 华侨大学
- 当前专利权人地址： 福建省泉州市丰泽区城东华侨大学
- 代理机构： 泉州市文华专利代理有限公司
- 代理商 车世伟
- 主分类号： G05B23/02
- IPC分类号： G05B23/02 ; G05B19/05
摘要：
本发明一种检测PLC梯形图程序中是否存在竞态的方法，通过计算普通Petri网的可达图来确定待检测程序中是否存在竞态，不仅可以一次性完成检测工作，而且可以让程序员清晰、直观地从可达图中直接发现程序中隐含的逻辑错误，同时检测的每个步骤都可以由计算机完成，所以在效率上也更加突出，并达到自动化的标准。
公开/授权文献
- CN103019233A 一种检测PLC梯形图程序中是否存在竞态的方法 公开/授权日：2013-04-03
