基于带抑制弧的Petri网描述的嵌入式系统模型组合与性质分析
来源：计算机应用与软件杂志2024年第9期北京时间：
作者：夏传良, 王壮壮, 郭脉波
摘要：为了有效满足嵌入式系统的建模需求，提出基于带抑制弧的Petri网描述的嵌入式系统模型（PIRES+网）。当采用PIRES+网对大规模复杂嵌入式系统进行建模时，会遇到“状态空间爆炸”问题，为了有效缓解该问题，提出PIRES+网的两种组合方法；就组合网对活性和有界性的保持问题进行研究，最后以移动终端网络通信系统的建模和分析为例，表明了所提组合方法的有效性。
关键词：Petri网, 系统建模, 抑制弧, 组合, 活性
