The paper presents SNexpression: a tool for the symbolic structural analysis of Symmetric Nets (SN). It can operate at a low level, handling expressions required to compute the structural properties of interest, but features also a net-based way of interaction allowing to submit commands referring directly to the net structure avoiding error prone input of low level expressions. The User Interface implements a command line interpreter and provides also a multi-page notebook to keep track of the submitted commands and their result.
SNexpression: A Symbolic Calculator for Symmetric Net Expressions / L. Capra, M. De Pierro, G. Franceschinis (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Application and Theory of Petri Nets and Concurrency / [a cura di] R. Janicki, N. Sidorova, T. Chatain. - [s.l] : Springer, 2020. - ISBN 9783030518301. - pp. 381-391 (( Intervento presentato al 41. convegno PETRI NETS tenutosi a Paris nel 2020.
Titolo: | SNexpression: A Symbolic Calculator for Symmetric Net Expressions | |
Autori: | ||
Parole Chiave: | Symmetric Nets; Structural Analysis; Computer algebra | |
Settore Scientifico Disciplinare: | Settore INF/01 - Informatica | |
Data di pubblicazione: | 2020 | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-030-51831-8_19 | |
Tipologia: | Book Part (author) | |
Appare nelle tipologie: | 03 - Contributo in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
atpn2020-SNex.pdf | Post-print, accepted manuscript ecc. (versione accettata dall'editore) | Administrator Richiedi una copia | ||
Capra2020_Chapter_SNexpressionASymbolicCalculato.pdf | Publisher's version/PDF | Administrator Richiedi una copia |