Applying Structural Techniques for Efficient Analysis of Complex SWN Models

Petri nets structural techniques may be used not only to study interesting system properties, but also to manage state space explosion and discrete-event simulation complexity. In order to avoid net unfolding, a symbolic calculus for high level PN structural analysis is needed, directly working on net annotations. Colored Petri nets structural analysis relies upon a common subset of functional operators. A language to denote structural relations in WN (a CPN flavor retaining expressive power) was introduced and proved to be closed under these operators. The paper shows an application of structural techniques for efficient performance-oriented analysis of a complex stochastic WN (SWN) model representing a P2P configuration management tool. Structural techniques are used in combination with symmetries specified through the WN formalism