SNexpression: A Symbolic Calculator for Symmetric Net Expressions

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 d...

Descripción completa

Detalles Bibliográficos
Autores principales: Capra, Lorenzo, De Pierro, Massimiliano, Franceschinis, Giuliana
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324237/
http://dx.doi.org/10.1007/978-3-030-51831-8_19
_version_ 1783551898942439424
author Capra, Lorenzo
De Pierro, Massimiliano
Franceschinis, Giuliana
author_facet Capra, Lorenzo
De Pierro, Massimiliano
Franceschinis, Giuliana
author_sort Capra, Lorenzo
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7324237
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73242372020-06-30 SNexpression: A Symbolic Calculator for Symmetric Net Expressions Capra, Lorenzo De Pierro, Massimiliano Franceschinis, Giuliana Application and Theory of Petri Nets and Concurrency Article 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. 2020-06-02 /pmc/articles/PMC7324237/ http://dx.doi.org/10.1007/978-3-030-51831-8_19 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Capra, Lorenzo
De Pierro, Massimiliano
Franceschinis, Giuliana
SNexpression: A Symbolic Calculator for Symmetric Net Expressions
title SNexpression: A Symbolic Calculator for Symmetric Net Expressions
title_full SNexpression: A Symbolic Calculator for Symmetric Net Expressions
title_fullStr SNexpression: A Symbolic Calculator for Symmetric Net Expressions
title_full_unstemmed SNexpression: A Symbolic Calculator for Symmetric Net Expressions
title_short SNexpression: A Symbolic Calculator for Symmetric Net Expressions
title_sort snexpression: a symbolic calculator for symmetric net expressions
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324237/
http://dx.doi.org/10.1007/978-3-030-51831-8_19
work_keys_str_mv AT capralorenzo snexpressionasymboliccalculatorforsymmetricnetexpressions
AT depierromassimiliano snexpressionasymboliccalculatorforsymmetricnetexpressions
AT franceschinisgiuliana snexpressionasymboliccalculatorforsymmetricnetexpressions

Ejemplares similares