Deadlock analysis in minimal adaptive routing algorithms using Petri Nets | IEEE Conference Publication | IEEE Xplore