Cargando…
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...
Autores principales: | , , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
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 |