GSPN models of Markovian multiserver multiqueue systems | Publicación