Performance Analysis Using Timed Petri Nets. - Rami R. Razouk; Charles V. Phelps (PSTV, 1984)