The computation of structural properties of models expressed with the Symmetric Nets formalism (formerly Well-Formed Nets, a High Level Petri Net formalism), their structural reduction, or the efficient detection of transition instances enabled in a given state can benefit from the availability of a calculus for symbolic manipulation of arc functions. In previous works the theoretical basis of such calculus has been presented. In this paper a library implementing the calculus is described, and its use is demonstrated on a simple distributed system model.
A tool for symbolic manipulation of arc functions in symmetric net models / L. Capra, M. De Pierro, G. Franceschinis - In: ValueTools '13 : proceedings of the 7th international conference on performance evaluation methodologies and tools / [a cura di] A. Horvath, P. Buchholz, V. Cortellessa, L. Muscariello, M. S. Squillante. - Brussels : ICST, 2013. - ISBN 9781936968480. - pp. 320-323 (( Intervento presentato al 7. convegno International Conference on Performance Evaluation Methodologies and Tools tenutosi a Torino, Italy nel 2013 [10.4108/icst.valuetools.2013.254407].
A tool for symbolic manipulation of arc functions in symmetric net models
L. CapraPrimo
;
2013
Abstract
The computation of structural properties of models expressed with the Symmetric Nets formalism (formerly Well-Formed Nets, a High Level Petri Net formalism), their structural reduction, or the efficient detection of transition instances enabled in a given state can benefit from the availability of a calculus for symbolic manipulation of arc functions. In previous works the theoretical basis of such calculus has been presented. In this paper a library implementing the calculus is described, and its use is demonstrated on a simple distributed system model.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.