基于带抑制弧的Petri网描述的嵌入式系统模型组合与性质分析

SYNTHESIS AND PROPERTY ANALYSIS OF EMBEDDED SYSTEM MODEL BASED ON PETRI NET WITH INHIBITION ARCS

为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合网对活性和有界性的保持问题进行研究,最后以移动终端网络通信系统的建模和分析为例,表明了所提组合方法的有效性。

In order to meet the modeling requirements of embedded system effectively,the embedded system model based on Petri net with inhibition arcs is proposed.However,the PIRES+encountered the"state space explosion"problem when modeling the large-scale complex embedded systems.In order to effectively alleviate this problem,this paper proposed two kinds of synthesis methods of PIRES+,and the preservation of liveness and boundedness of the synthesis net were investigated.The modeling and analysis of the network communication system of a mobile terminal was taken as an example to show the effectiveness of the proposed synthesis methods.