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

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › 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.

Lingua originale	Inglese
Pagine	381-391
Numero di pagine	11
DOI	https://doi.org/10.1007/978-3-030-51831-8_19
Stato di pubblicazione	Pubblicato - 2020
Evento	41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020 - Paris, France (ON-LINE x COVID-19) Durata: 1 gen 2020 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020
Città	Paris, France (ON-LINE x COVID-19)
Periodo	1/01/20 → …

Accesso al documento

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

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

Altri file e collegamenti

handle

Cita questo

@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 Articolo presentato al 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, Paris, France (ON-LINE x COVID-19).

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › 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

???event.eventtypes.event.conference???

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo