胆小鬼
发表于 2025-3-30 11:40:37
Tagged Generalized Stochastic Petri Nets,istributions of tokens. A “tagged token” technique is used which relies on net’s structural properties to guide the correct specification of this extension. The extended model is suited for an automatic translation into an ordinary GSPN that can be used for the first passage time analysis. Schedulin