利用时序 Petri 网对实际问题进行建模, 通过 Pet ri 网反映系统的物理结构, 并利用时序逻辑公 式描述系统需求及其相关约束条件,从而通过时序 Petr i 网的运行,得到施加控制后的变迁发生序列, 即 对应问题的实现方案,达到智能控制的目的。