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