Univ. Maryland, USA, 1985.
Abstract: This dissertation develops a formal methodology for specifying the timing requirements for a real-time system in terms of process execution times. A Petri net model that uses places to represent system processes is extended by augmenting these places with time variables representing process execution times.