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

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

作　　者：夏传良[1] 王壮壮 郭脉波 Xia Chuanliang;Wang Zhuangzhuang;Guo Maibo(School of Computer Science and Technology,Shandong Jianzhu University,Jinan 250101,Shandong,China)

机构地区：[1]山东建筑大学计算机科学与技术学院,山东济南250101

出　　处：《计算机应用与软件》2024年第9期279-287,共9页Computer Applications and Software

基　　金：山东省自然科学基金项目(ZR2022MF348)。

摘　　要：为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的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.

关 键 词：PETRI网 系统建模 抑制弧 组合 活性 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]