TY - GEN
T1 - SNexpression
T2 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020
AU - Capra, Lorenzo
AU - De Pierro, Massimiliano
AU - Franceschinis, Giuliana
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
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 - http://www.scopus.com/inward/record.url?scp=85088263443&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-51831-8_19
DO - 10.1007/978-3-030-51831-8_19
M3 - Conference contribution
AN - SCOPUS:85088263443
SN - 9783030518301
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 381
EP - 391
BT - Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings
A2 - Janicki, Ryszard
A2 - Sidorova, Natalia
A2 - Chatain, Thomas
PB - SPRINGER
Y2 - 24 June 2020 through 25 June 2020
ER -