10.3969/j.issn.1000-386x.2022.03.034
基于带抑制弧的Petri网表示的嵌入式系统模型的子网化简
基于Petri网表示的嵌入式系统PRES+(Petri net based Representation for Embedded Systems)模型可以描述实时嵌入式系统.为了提高PRES+的建模能力,将抑制弧加入PRES+模型中,得到基于带抑制弧的Petri网表示的嵌入式系统PIRES+(Petri net with Inhibitor arcs based Representation for Embedded Systems)模型.PIRES+模型提高了建模和验证复杂嵌入式系统的能力,但是在建模和验证过程中存在状态空间爆炸问题.为了缓解这一问题,提出两种PIRES+模型的子网的化简规则,使得简化后的模型与原模型具有相同的可达性、实时性和功能性.
Petri网;抑制弧;化简;可达性;实时性;功能性
39
TP3(计算技术、计算机技术)
山东省自然科学基金ZR2016FM19
2022-03-21（万方平台首次上网日期，不代表论文的发表时间）
共6页
213-217,301
