%0 Journal Article
%T Soundness Analysis of Distributed Real-time and Embedded Software Based on Petri Nets<br>基于Petri的分布式实时嵌入式软件合理性分析
%A CHEN Li-qiong SHAO Zhi-qing WANG Xiu-ying FAN Gui-sheng
%A <br>陈丽琼
%A 邵志清
%A 王秀英
%A 范贵生
%J 计算机科学
%D 2008
%I 
%X The soundness of the model is the key issue to guarantee the reliability of distributed real-time embedded(DRE) software.Reasonable determination method of DRE software model is given in this paper.The method is based on time Petri nets with inhibitor arc,using top-down strategy to respectively model functional modules and the communication process.Exploiting the synthesis operations of Petri nets to form the ITPN model of system.Under the premise to meet real-time property,the formal definition and judgmen...
%K Distributed real-time embedded software
%K Petri nets
%K Model
%K Soundness
%K Verification<br>分布式实时嵌入式软件
%K Petri网
%K 建模
%K 合理性
%K 验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E94E28EC67CB0AE2E60DBFCA87DD38E6&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=5D311CA918CA9A03&sid=CAA7BAE04CB631A1&eid=5D8C08279A19B0D4&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12