By Topic

Transformation of timed Petri nets for response time estimation

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Oh, H.R. ; Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea ; Chung, W.H. ; Kim, M.

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.

Published in:

Computers and Digital Techniques, IEE Proceedings E  (Volume:137 ,  Issue: 1 )