Petri net versus modulo scheduling for software pipelining. - Vicki H. Allan; U. R. Shah; K. M. Reddy (MICRO, 1995)