Concurrent, Real-Time Systems: a Systematic Approach Using Timed Petri Nets

C. Y. Wong, Tharam S. Dillon, Kevin E. Forward. Concurrent, Real-Time Systems: a Systematic Approach Using Timed Petri Nets. Comput. Syst. Sci. Eng., 2(3):117-124, 1987.

Abstract

Abstract is missing.