GSPN
Generalized Stochastic Petri Net (GSPN) is a modeling formalism used for representing and analyzing systems that exhibit concurrency, synchronization, and stochastic timing. It extends the traditional Petri net by attaching timing to transitions and by supporting both instantaneous and timed events, enabling performance evaluation of complex systems such as manufacturing, telecommunication networks, and computer systems.
A GSPN comprises places, transitions, arcs, and tokens. A marking assigns a number of tokens to each
Generalized aspects of GSPN include the use of non-exponential timing distributions, priorities between transitions, and sometimes
GSPN is used for performance modeling and analysis of systems where timing and concurrency matter. Typical