[01900120]一种将PLC加计数器转换为顺序Petri网的方法
交易价格：
面议
所属行业：
软件
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201310655001.5
交易方式：
技术转让
联系人：
进入空间
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明一种将PLC的加计数器转换为顺序Petri网模型的方法，依据IEC61131-3定义的加计数器（CTU）构建顺序Petri网模型，分别用库所来模拟端口，用变迁模拟端口状态的变化情况，以及根据加计数器的执行规则，用变迁模拟内部执行情况；增加顺序控制库所，控制先激发输入端、复位端的变迁，完成输入采样；然后控制执行加计数器内部执行变迁激发，完成执行周期，最后控制输出（Q）的变迁激发，完成输出周期；通过增加顺序控制库所，使得构建的Petri网模型符合PLC循环扫描的工作方式；本发明所构建的Petri网模型能够模拟加计数器的执行过程，可以用软件动态模拟其执行过程，从而可利用计算机来完成程序仿真和验证工作。
本发明一种将PLC的加计数器转换为顺序Petri网模型的方法，依据IEC61131-3定义的加计数器（CTU）构建顺序Petri网模型，分别用库所来模拟端口，用变迁模拟端口状态的变化情况，以及根据加计数器的执行规则，用变迁模拟内部执行情况；增加顺序控制库所，控制先激发输入端、复位端的变迁，完成输入采样；然后控制执行加计数器内部执行变迁激发，完成执行周期，最后控制输出（Q）的变迁激发，完成输出周期；通过增加顺序控制库所，使得构建的Petri网模型符合PLC循环扫描的工作方式；本发明所构建的Petri网模型能够模拟加计数器的执行过程，可以用软件动态模拟其执行过程，从而可利用计算机来完成程序仿真和验证工作。
