一种基于Petri网建模的离散事件动态系统PLC程序设计方法

本发明公开了一种基于Petri网建模的离散事件动态系统PLC程序设计方法，属于工业自动化控制技术领域，包括构建DEDS的Petri网模型；运用博图软件中的梯形图描述Petri网模型的事件逻辑；设计Petri网模型的HMI人机界面，动态模拟系统状态演化过程；提供参数配置与操作控制功能；添加计时功能，记录事件触发时间与批次状态信息；运用极大‑加代数方法设计反馈控制机制；设计手动控制和自动控制两种模式；设计仿真动画，动态展示系统行为。本发明设计DEDS的PLC仿真程序，提供参数配置功能，支持直接输入或调整系统参数而无需编程，提高系统灵活性和适用性；将非线性反馈控制律转化为线性形式，简化PLC程序复杂性，提升系统响应效率和易用性。