Timed Petri net models of multithreaded multiprocessor architectures. - R. Govindarajan; F. Suciu; Wlodek M. Zuberek (PNPM, 1997)