%0 Journal Article
%T Formal Models of Generalized Reactive Systems Based on Transition Systems<br>基于转换系统的广义反应系统形式模型
%A 张广泉
%J 计算机科学
%D 2000
%I 
%X 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,
%K Reactive systems
%K Formal models
%K FTS
%K TTS
%K PTS<br>软件系统
%K 转换系统
%K 反应系统
%K 计算模型
%K 广义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=5D69898A8F901C12&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=CA4FD0336C81A37A&sid=D3E34374A0D77D7F&eid=340AC2BF8E7AB4FD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=4&reference_num=13