摘要
利用时序 Petri网对实际问题进行建模 ,通过 Petri网反映系统的物理结构 ,并利用时序逻辑公式描述系统需求及其相关约束条件 ,从而通过时序 Petri网的运行 ,得到施加控制后的变迁发生序列 ,即对应问题的实现方案 ,达到智能控制的目的。
The modelling of practical problems based on temporal Petri net is studied. The physical structure of system is described by Petri net. The requirements and restrictives of ststem are described by temporal Petri net. The firing sequences of system controled are obtained by running temporal Petri net. The implementation schemes are obtained to reach the aims of intelligent control.
出处
《控制与决策》
EI
CSCD
北大核心
2002年第2期230-232,235,共4页
Control and Decision
基金
国家自然科学基金项目 (6 99730 2 9
6 99330 2 0 )
全国优秀博士论文作者专项项目 (199934 )
教育部优秀青年教师教学科研奖励计划项目
