一种将PLC定时器模块转换成普通Petri网的方法

摘要

本发明一种将PLC定时器模块转换成普通Petri网的方法，实现了从定时器模块到普通Petri网模型的自动转换，所得Petri网模型能够准确描述PLC定时器的动态行为。因此，通过本发明可以利用Petri网来实现PLC程序分析和纠错，并且借助网结构和Petri网分析理论研发高效率的程序验证方法，使得大型PLC系统的分析和验证成为可能。