用于实时系统性能分析中的扩展Petri网

Petri网(PN)是用于系统建模和性能分析的一个强有力的工具。当用于实时系统时,需要对其进行扩展以能表达实时时间属性。本文介绍几种与时间有关的扩展Petri网及其应用,并从使能规则、点火规则和点火方式几个方面对它们进行了分析比较。