Transformations of timed Petri nets and performance analysis

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.