Transformations of timed Petri nets and performance analysis

Author

Zuberek, W.M. ; Zuberek, M.S.

Author_Institution

Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada

fYear

1990

fDate

12-14 Aug 1990

Firstpage

774

Abstract

A discussion is presented of several simple transformations of timed nets that significantly simplify the performance analysis preserving all important performance properties of the original model. In particular, they can convert a model that can be analyzed by the reachability approach only into an equivalent one (with respect to performance) that can be analyzed by structural methods. The transformations can be implemented within more general systems for computer-aided design and analysis of protocols: their application can be either interactive, or fully, automated, in which case a more general strategy for net conversions is needed

Keywords

Petri nets; distributed processing; performance evaluation; protocols; computer aided analysis; computer-aided design; model; net conversions; performance analysis; protocols; reachability approach; structural methods; timed Petri nets; transformations; Availability; Computer networks; Computer science; Delay effects; Frequency synchronization; Information processing; Performance analysis; Petri nets; Protocols; Reachability analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 1990., Proceedings of the 33rd Midwest Symposium on

Conference_Location

Calgary, Alta.

Print_ISBN

0-7803-0081-5

Type

conf

DOI

10.1109/MWSCAS.1990.140835

Filename

140835