GSPN models of multiserver multiqueue systems · Study