Italiano (Italian) English (Inglese)
Tuesday, 10 December 2024

Technical Reports

Technical Report Details
Authors:Lorenzo Capra
Massimiliano De Pierro
Giuliana Franceschinis
Scientific Area:Formal Models
Title:Deriving Symbolic and Parametric Structural Relations in Symmetric Nets: Focus on Composition Operator
Published on:TR-INF-2019-03-01-UNIPMN
Publisher:DiSIT, Computer Science Institute, UPO
Year:2019
URL:http://www.di.unipmn.it...R-INF-2019-03-01-UNIPMN.pdf
Abstract: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 www.di.unito.it/~depierro/SNex.