Petri net modeling of interconnection networks for massively parallel architectures | Publicación