未找到相关数据
离散事件系统的面向对象实时时态着色Petri网模型
被引：2
作者：
田国会
贾磊
路飞
姜健
机构：
[1] 山东大学控制科学与工程学院!济南,山东大学控制科学与工程学院!济南,山东大学控制科学与工程学院!济南,山东大学控制科学与工程学院!济南
来源：
关键词：
离散事件系统;
Petri网;
实时时态逻辑;
面向对象;
D O I：
暂无
中图分类号：
O233 [逻辑网络理论];
学科分类号：
070105 ;
0711 ;
071101 ;
0811 ;
081101 ;
摘要：
提出了由记时面向对象着色 Petri网为被控对象建模 ,用实时时态逻辑进行系统期望行为规范的实时离散事件系统面向对象实时时态着色 Petri网模型
引用
收藏
页码：206 / 208
页数：3
相关论文