Formal Models of Generalized Reactive Systems Based on Transition Systems
基于转换系统的广义反应系统形式模型

This paper presents computation models of the three levels(reactive, real-time and hybrid system)for generalized reactive systems by extends traditional transition systems. For each of the three models(FTS, TTS, PTS),we analysis their properties,