SNexpression: A Symbolic Calculator for Symmetric Net Expressions

L. Capra; Pierro M. De; Giuliana Annamaria FRANCESCHINIS

doi:10.1007/978-3-030-51831-8_19

SNexpression: A Symbolic Calculator for Symmetric Net Expressions

L. Capra
, Pierro M. De
, Giuliana Annamaria FRANCESCHINIS

Department of Science and Technological Innovation

Research output: Contribution to conference › Paper › peer-review

Abstract

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.

Original language	English
Pages	381-391
Number of pages	11
DOIs	https://doi.org/10.1007/978-3-030-51831-8_19
Publication status	Published - 2020
Event	41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020 - Paris, France (ON-LINE x COVID-19) Duration: 1 Jan 2020 → …

Conference

Conference	41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020
City	Paris, France (ON-LINE x COVID-19)
Period	1/01/20 → …

Access to Document

10.1007/978-3-030-51831-8_19

http://hdl.handle.net/11579/115611

Cite this

@conference{76b0ade16330460281d3eecc5eacb231,

title = "SNexpression: A Symbolic Calculator for Symmetric Net Expressions",

abstract = "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.",

author = "L. Capra and De, \{Pierro M.\} and FRANCESCHINIS, \{Giuliana Annamaria\}",

year = "2020",

doi = "10.1007/978-3-030-51831-8\_19",

language = "English",

pages = "381--391",

note = "41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020 ; Conference date: 01-01-2020",

}

SNexpression: A Symbolic Calculator for Symmetric Net Expressions. / Capra, L.; De, Pierro M.; FRANCESCHINIS, Giuliana Annamaria.
2020. 381-391 Paper presented at 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, Paris, France (ON-LINE x COVID-19).

Research output: Contribution to conference › Paper › peer-review

TY - CONF

T1 - SNexpression: A Symbolic Calculator for Symmetric Net Expressions

AU - Capra, L.

AU - De, Pierro M.

AU - FRANCESCHINIS, Giuliana Annamaria

PY - 2020

Y1 - 2020

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

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

UR - https://iris.uniupo.it/handle/11579/115611

U2 - 10.1007/978-3-030-51831-8_19

DO - 10.1007/978-3-030-51831-8_19

M3 - Paper

SP - 381

EP - 391

T2 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020

Y2 - 1 January 2020

ER -

SNexpression: A Symbolic Calculator for Symmetric Net Expressions

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this