首页   按字顺浏览 期刊浏览 卷期浏览 Transformation of timed Petri nets for response time estimation
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)



返 回