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 recently introduced and proved to be closed under these operators. The paper shows an application of structural techniques for efficient performanceoriented analysis of a complex StochasticWNmodel representing a P2P configuration management tool. Structural techniques are used in combination with symmetries specified through the SWN formalism.
ANALYSIS/SIMULATION OF COMPLEX SWN MODELS: A STRUCTURAL APPROACH / L. Capra - In: Modelling methodologies and simulation : key technologies in academia and industry ; 20th European Conference on Modelling and Simulation ECMS 2006 ; May 28th - 31st, 2006, Bonn, Sankt Augustin, Germany / [a cura di] Wolfgang Borutzky. - Bohn : ECMS, 2006. - ISBN 0-9553018-0-7. - pp. 692-698 (( Intervento presentato al 4. convegno The 2006 High Performance Computing & Simulation (HPC&S) Conference tenutosi a Bonn, Germany nel 2006.
ANALYSIS/SIMULATION OF COMPLEX SWN MODELS: A STRUCTURAL APPROACH
L. CapraPrimo
2006
Abstract
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 recently introduced and proved to be closed under these operators. The paper shows an application of structural techniques for efficient performanceoriented analysis of a complex StochasticWNmodel representing a P2P configuration management tool. Structural techniques are used in combination with symmetries specified through the SWN formalism.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
