摘要
广义随机Pctri网(GSPN)在离散事件系统的性能分析中得到广泛的应用。本文提供了用计算机自动进行GSPN可达性分析的算法,该算法可处理含禁止线,k有界的情况,也同时适用于PN、SPN模型,并给出几个应用本算法的例子。
In this paper an automatic analysis algorithm is provided for the reachability analysis of GSPN
models with inhibitor arcs and K-bounded. The algorithm is also suitable for the reachability analysis
of SPN models and PN models. Examples are given to show the uses of the algorithm.
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
1991年第3期63-72,共10页
Journal of Xi'an Jiaotong University