基于DTPN的时间Petri网的组件级化简规则

时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型。组件级化简方法是TPN模型常用的分析方法,在保持外部可观察时间特性的前提下,将组件TPN模型化简成一个很简单的TPN模型。然而它却失去了组件内部的性质,如冲突和并发等性质。文中引入延迟时间Petri网(DTPN),通过组件TPN模型向DTPN模型转化,使化简后模型既保持外部可观察时间特性,又保持组件内部的冲突和并发等性质。为了分析化简后的DTPN模型,文中还提出了一种新的DT- PN调度分析方法。最后通过对一个C2系统的组件TPN模型的分析实例,验证该方法的有效性。