Decolourisation of Stochastic Symmetric Nets with Bags

This paper deals with decolourisation of Stochastic Symmetric Nets with Bags (SSNB, a descendant of Well-Formed Nets), a class of coloured Petri nets (CPN), to generalised stochastic Petri nets (GSPN). In this process, the procedure for autonomous nets has been enriched to deal with bags, and supplemented by rules for adjustment of transition parameters (firing rates of timed and weights of immediate transitions) in order to decolourise a SSNB on the timed level as well, and be able to compute performance indices more efficiently.