Transformations of timed Petri nets and performance analysis

Zuberek, W. M. and Zubarek, M. S. (1990) Transformations of timed Petri nets and performance analysis. In: 33-rd Midwest Symposium on Circuits and Systems (MSCAS’90), 12-14 August 1990, Calgary, AB, Canada.

[img] [English] PDF - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (332kB)

Abstract

There are two basic approaches to analysis of timed Petri net models, the so called reachability analysis and structural analysis. Reachability analysis is based of the space of reachable states while structural analysis derives properties of models from properties of model components and component interconnections. This paper discusses several simple transformations of timed nets that significantly simplify 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.

Item Type: Conference or Workshop Item (Paper)
URI: http://research.library.mun.ca/id/eprint/14828
Item ID: 14828
Additional Information: DOI number given in PDF links to wrong paper.
Keywords: Timed Petri nets, net transformations, performance analysis
Department(s): Science, Faculty of > Computer Science
Date: August 1990
Date Type: Completion
Related URLs:

Actions (login required)

View Item View Item

Downloads

Downloads per month over the past year

View more statistics