Deadlock analysis in minimal adaptive routing algorithms using Petri Nets | Publicación