Transformations of timed Petri nets and performance analysis

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