TRANSFORMATION OF TIMED PETRI NETS FOR RESPONSE-TIME ESTIMATION

被引：1

作者：

OH, HR

CHUNG, WH

KIM, M

机构：

[1] DUKSUNG WOMENS UNIV, DEPT COMP SCI, DOBONG KU, SEOUL, SOUTH KOREA

[2] CORNELL UNIV, SCH ELECT ENGN, ITHACA, NY 14853 USA

来源：

IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES | 1990年 / 137卷 / 01期

关键词：

D O I：

10.1049/ip-e.1990.0007

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A transformation method for the simplification of timed Petri nets to estimate the response time is proposed. A complicated timed Petri net which is live and safe is transformed into a simpler one with a smaller state space by hierachically 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.

引用

页码：74 / 80

页数：7

共 12 条

[1] CHU TA, 1987, AUG P INT WORKSH PET, P164
[2] CHUNG WH, 1988, DEC INT SEM PERF DIS, P271
[3] COOLAHAN JE, 1985, JUL INT WORKSH TIM P, P24
[4] GHOSH S, 1977, J AFCET, P151
[5] A GENERALIZED TIMED PETRI NET MODEL FOR PERFORMANCE ANALYSIS
HOLLIDAY, MA
VERNON, MK
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (12) : 1297 - 1310
[6] LEEKWANG H, 1985, IEEE T SYST MAN CYB, V15, P272
[7] MAGGOT J, 1984, INFORM PROCESS LETT, V18, P7
[8] PENG D, 1987, IEEE T COMPUT, V36, P500, DOI 10.1109/TC.1987.1676931
[9] Peterson J. L., 1981, PETRI NET THEORY MOD
[10] PERFORMANCE EVALUATION OF ASYNCHRONOUS CONCURRENT SYSTEMS USING PETRI NETS
RAMAMOORTHY, CV
HO, GS
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (05) : 440 - 449

← 1 2 →