In: Trans. Inst. Electron. Inf. Commun. Eng. D (Japan), Vol. J71D, No. 11, pages 2404-2413. November 1988. In Japanese.
Abstract: A timing verification method based on Time Petri nets for analyzing or verifying the safety timing properties of concurrent systems has been proposed. Since this method produces possible firing sequences of all firable transitions, the so-called state explosion may occur for large systems. A new timing verification method, which is faster and needs less memory, considers the order relation between events occurring at the same units in the system. The results of the example show the method is from about four to one hundred times faster than the method based on Time Petri nets.