一种基于时间自动机的PLC程序设计方法

摘要

本发明公开了一种基于时间自动机的PLC程序设计方法，包括：根据工控系统的应用需求将其划分为多个子系统，并为每一个子系统构建一个时间自动机模型；将所构建的每一个时间自动机模型实例化生成相应的进程，然后对所生成的进程进行仿真和验证；将每一个时间自动机转换成其对应的SFC语言功能块，得到多个SFC功能块以及包含所述多个SFC功能块的PLC工程；然后根据所设计的转换规则将时间自动机中的变量声明、状态和转移边、同步以及系统声明对应地转换到PLC程序中，得到完整的符合IEC61131‑3标准的PLC程序。本发明能够解决复杂工业控制系统的PLC程序设计过程中，由于状态数目巨大而导致的编程工作量繁琐、应用程序逻辑错误难以检查的问题。