Performance Evaluation of Job Operation Flows in Computer Systems by Timed Petri Nets. - Harushi Someya; Tsutomu Tashiro; Tomohiro Murata; Norihisa Komoda (PNPM, 1989)