A GSPN-Based Automatic Analysis Tool for Discrete Event Systems

L ZHANG,RH LI
DOI: https://doi.org/10.1016/s1474-6670(17)69359-5
1991-01-01
IFAC Proceedings Volumes
Abstract:Generalized stochastic petri net (GSPN) has been widely applied to the performance analysis of discrete event systems. In this paper an automatic analysis tool is developed for the steady state analysis of GSPN models with inhibitor arc and K-bounded The tool is also suitable for the steady state analysis of SPN models and the reachability analysis of PN models. An example is given to show how the tool is used in the performance analysis of a bus contention LAN.
What problem does this paper attempt to address?