时序Petri网在智能控制中的应用
来源期刊:控制与决策2002年第2期
论文作者:丁志军 蒋昌俊
文章页码:230 - 467
关键词:时序Petri网;智能控制;系统需求;约束条件;建模;
摘 要:利用时序 Petri网对实际问题进行建模 ,通过 Petri网反映系统的物理结构 ,并利用时序逻辑公式描述系统需求及其相关约束条件 ,从而通过时序 Petri网的运行 ,得到施加控制后的变迁发生序列 ,即对应问题的实现方案 ,达到智能控制的目的。
丁志军,蒋昌俊
摘 要:利用时序 Petri网对实际问题进行建模 ,通过 Petri网反映系统的物理结构 ,并利用时序逻辑公式描述系统需求及其相关约束条件 ,从而通过时序 Petri网的运行 ,得到施加控制后的变迁发生序列 ,即对应问题的实现方案 ,达到智能控制的目的。
关键词:时序Petri网;智能控制;系统需求;约束条件;建模;