Title :
Transformation of timed Petri nets for response time estimation
Author :
Oh, H.R. ; Chung, W.H. ; Kim, M.
Author_Institution :
Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea
fDate :
1/1/1990 12:00:00 AM
Abstract :
Proposes a transformation method for the simplification of timed Petri nets to estimate the response time. A complicated time Petri net which is live and safe is transformed into a simpler one with a smaller state space by hierarchically replacing a convertible subnet with the corresponding decision net. It is shown that the information for the response time analysis is not lost but is kept during the transformation. An illustrative example is given.
Keywords :
Petri nets; performance evaluation; convertible subnet; decision net; response time estimation; timed Petri nets; transformation;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings E