Soundness Analysis of Distributed Real-time and Embedded Software Based on Petri Nets
基于Petri的分布式实时嵌入式软件合理性分析

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...