摘要
提出了由记时面向对象着色 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.
出处
《系统工程理论方法应用》
2001年第3期206-208,共3页
Systems Engineering Theory·Methodology·Applications
基金
中国博士后基金
山东省自然科学基金( Q99G0 9)
山东省自然科学基金重点项目 ( Z2 0 0 0 G0 1)资助项目