: A set of connecting places to transitions, or transitions to places. : A weighting function assigned to the arcs. M0cap M sub 0
The GSPN is the cartography of this hesitation. : A set of connecting places to transitions,
| Limitation | Explanation | |------------|-------------| | | Only exponential distributions (though phase-type approximations can generalize). | | State space explosion | Number of markings grows combinatorially with tokens/places. | | No data types | Tokens are indistinguishable (unlike colored Petri nets). | | No priorities (except immediate/timed) | Cannot model arbitrary deterministic delays without extensions (e.g., DSPN). | | Steady-state required | Transient analysis is more computationally expensive. | : A set of connecting places to transitions,