Jian Wang, Christine Eisenbeis, Bogong Su: Using timed Petri net to model instruction-level loop scheduling with resource constraints. J. Comput. Sci. Technol. 9(2): 128-143 (1994)