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

Object-Oriented Real Time Temporal Colored Petri Nets Model for Discrete Event Dynamic Systems

作　　者：田国会[1] 贾磊[1] 路飞[1] 姜健[1] 

机构地区：[1]山东大学控制科学与工程学院,济南250061

出　　处：《系统工程理论方法应用》2001年第3期206-208,共3页Systems Engineering Theory·Methodology·Applications

基　　金：中国博士后基金;山东省自然科学基金( Q99G0 9);山东省自然科学基金重点项目 ( Z2 0 0 0 G0 1)资助项目

摘　　要：提出了由记时面向对象着色 Petri网为被控对象建模 ,用实时时态逻辑进行系统期望行为规范的实时离散事件系统面向对象实时时态着色The object oriented real time temporal colored Petri nets model is presented for discrete event dynamic systems. In this framework, the controlled process is described using timed object oriented colored Petri nets, the desired behaviors of systems are specified with temporal logic.

关 键 词：离散事件系统 PETRI网 实时时态逻辑 面向对象 DEDS RTTL 

分 类 号：O23[理学—运筹学与控制论]