广义随机Petri网（GSPN）的一种可达集生成算法

摘要

广义随机Pctri网(GSPN)在离散事件系统的性能分析中得到广泛的应用。本文提供了用计算机自动进行GSPN可达性分析的算法,该算法可处理含禁止线,k有界的情况,也同时适用于PN、SPN模型,并给出几个应用本算法的例子。