离散事件系统的面向对象实时时态着色Petri网模型

• 作者: 姜健 田国会 贾磊 路飞
• 来源期刊: 系统工程理论方法应用
• 学科: 数学
• 关键词: 离散事件系统 Petri网 实时时态逻辑 面向对象
• 年，卷（期）: 2001,（3）
• 页码范围: 206-208
• 页数: 3页
• 分类号: O23
• 字数: 2442字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-2542.2001.03.008

摘要

提出了由记时面向对象着色Petri网为被控对象建模,用实时时态逻辑进行系统期望行为规范的实时离散事件系统面向对象实时时态着色Petri网模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	路飞	山东大学控制科学与工程学院	43	1396	18.0	37.0
2	田国会	山东大学控制科学与工程学院	117	2087	22.0	41.0
3	贾磊	山东大学控制科学与工程学院	163	2180	25.0	39.0
4	姜健	山东大学控制科学与工程学院	4	48	3.0	4.0