IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishThe 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 |
Pubblicazioni consigliate
Copyright © 2022