DocumentCode :
747720
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
Volume :
137
Issue :
1
fYear :
1990
fDate :
1/1/1990 12:00:00 AM
Firstpage :
74
Lastpage :
80
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;
fLanguage :
English
Journal_Title :
Computers and Digital Techniques, IEE Proceedings E
Publisher :
iet
ISSN :
0143-7062
Type :
jour
Filename :
41354
Link To Document :
بازگشت