The specification and design of hard real-time systems using timed and temporal petri nets. - J. S. Sagoo; D. J. Holding (Microprocessing and Microprogramming, 1990)

A comparison of temporal Petri net techniques in the specification and design of hard real-time systems. - J. S. Sagoo; D. J. Holding (Microprocessing and Microprogramming, 1991)