摘要
为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的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.
作者
夏传良
王壮壮
郭脉波
Xia Chuanliang;Wang Zhuangzhuang;Guo Maibo(School of Computer Science and Technology,Shandong Jianzhu University,Jinan 250101,Shandong,China)
出处
《计算机应用与软件》
北大核心
2024年第9期279-287,共9页
Computer Applications and Software
基金
山东省自然科学基金项目(ZR2022MF348)。
关键词
PETRI网
系统建模
抑制弧
组合
活性
Petri net
System modeling
Inhibition arcs
Synthesis
Liveness
