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.
Applying structural techniques for efficient analysis of complex SWN models / L. Capra - In: Eighth international workshop on discrete event systems : WODES 2006 : july 10-12, 2006, Ann Arbor, Michigan, USA : proceedings / [a cura di] S. Lafortune, F. Lin, D. Tilbury. - Piscataway : IEEE Computer Society, 2006. - ISBN 1424400538. - pp. 338-344 (( Intervento presentato al 8. convegno Workshop on Discrete Event Systems tenutosi a Ann Arbor, USA nel 2006 [10.1109/WODES.2006.382529].
Applying structural techniques for efficient analysis of complex SWN models
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 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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
