7th International Conference on Performance Evaluation Methodologies and Tools

Research Article

A tool for symbolic manipulation of arc functions in Symmetric Net models

Cite
BibTeX Plain Text
  • @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
Giuliana Franceschinis1,*, Lorenzo Capra2, Massimiliano De Pierro3
  • 1: DiSIT, Univ. del Piemonte Orientale
  • 2: Dipartimento di Informatica, Univ. di Milano
  • 3: Dipartimento di Informatica - Univ. di Torino
*Contact email: giuliana.franceschinis@di.unipmn.it

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.

Keywords
symmetric nets structural analysis rewriting system
Published
2014-01-09
Publisher
ICST
http://dx.doi.org/10.4108/icst.valuetools.2013.254407
Copyright © 2013–2024 ICST