同济大学 计算机科学与工程系, 上海 200092
利用时序 Petri 网对实际问题进行建模, 通过 Pet ri 网反映系统的物理结构, 并利用时序逻辑公 式描述系统需求及其相关约束条件,从而通过时序 Petr i 网的运行,得到施加控制后的变迁发生序列, 即 对应问题的实现方案,达到智能控制的目的。
丁志军, 蒋昌俊.时序Petr i 网在智能控制中的应用[J].控制与决策,2002,17(2):230-232