Transformation of timed Petri nets for response time estimation
作者:
H.R.Oh,
W.H.Chung,
M.Kim,
期刊:
IEE Proceedings E (Computers and Digital Techniques)
(IET Available online 1990)
卷期:
Volume 137,
issue 1
页码: 74-80
年代: 1990
DOI:10.1049/ip-e.1990.0007
出版商: IEE
数据来源: IET
摘要:
In the paper is proposed a transformation method for the simplification of timed Petri nets to estimate the response time. A complicated timed 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.
点击下载:
PDF
(888KB)
返 回