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

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

面向对象的PRES网共享子网组合及应用

针对嵌入式系统建模问题,提出了一种经由扩展Petri网共享子网得到组合网的解决方案。将面向对象技术与嵌入式系统的Petri网表示模型(PRES网)融合,得到一种面向对象的PRES网—OOPRES(object-oriented petri net based representation for embedded system)网。提出了一种OOPRES网共享子网组合操作方法,并对其组合网系统的活性和有界性的保持问题进行了研究。以智能交通系统的建模分析为例验证了该组合方法的有效性。结果可为Petri网系统组合性质的考察提供有效途径,为大规模复杂嵌入式系统建模提供有利手段,具有宽广的应用前景。