Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems · Study