Italiano (Italian) English (Inglese)
mercoledì, 24 luglio 2024


Dettagli Pubblicazione
Autori:Lorenzo Capra
Massimiliano De Pierro
Giuliana Franceschinis
Area Scientifica:Formal Models
Titolo:Deriving Symbolic and Parametric Structural Relations in Symmetric Nets: Focus on Composition Operator
Apparso su:TR-INF-2019-03-01-UNIPMN
Editore:DiSIT, Computer Science Institute, UPO
Tipo Pubblicazione:Technical Report
Sommario:The work presented in this report concerns the most recent developments of a calculus used to derive (mainly structural) properties of Symmetric Nets (SNs). The calculus that is being extended in this report was introduced about 15 years ago, with the aim of efficiently computing useful structural properties of SNs, representing them in a symbolic and compact form. A SN model consists of places (modeling the state) and transitions (modeling activities and events) connected by arcs decorated with arc expressions. The calculus proposed in this report allows to manipulate and combine the arc expressions through operators like the transpose, the composition or the intersection, in order to derive new expressions representing various structural properties in symbolic form. The underlying language resembles the arc expressions language and extends it by including filters. This report in particular presents a complete treatment of the composition operator, when applied to language elements mapping on sets. The calculus has been implemented in a library whose functions can be accessed through a command-line interface: the tool is called SN-expression and can be downloaded from