科研之友
微信
新浪微博
Facebook
分享链接
摘要
基于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+模型的子网的化简规则，使得简化后的模型与原模型具有相同的可达性、实时性和功能性。
- 单位
