Research Article
A tool for symbolic manipulation of arc functions in Symmetric Net models
@INPROCEEDINGS{10.4108/icst.valuetools.2013.254407, author={Giuliana Franceschinis and Lorenzo Capra and Massimiliano De Pierro}, title={A tool for symbolic manipulation of arc functions in Symmetric Net models}, proceedings={7th International Conference on Performance Evaluation Methodologies and Tools}, publisher={ICST}, proceedings_a={VALUETOOLS}, year={2014}, month={1}, keywords={symmetric nets structural analysis rewriting system}, doi={10.4108/icst.valuetools.2013.254407} }- Giuliana Franceschinis
Lorenzo Capra
Massimiliano De Pierro
Year: 2014
A tool for symbolic manipulation of arc functions in Symmetric Net models
VALUETOOLS
ACM
DOI: 10.4108/icst.valuetools.2013.254407
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.
Copyright © 2013–2024 ICST
