SNexpression r2.2.3

---

• A tool for Symmetric Nets structural analysis
• Download SNexpression and related utilities
• Documentation and sample files
• API of the Library
• Developers
• Bibliography

A tool for Symmetric Nets structural Analysis

^Top

SNexpression is a software tool for structural analysis of Symmetric Nets (SN). It is composed by two software layers: a Library for Symbolic Calculus (LSC) and a Command Line Interface (CLI), implementing a symbolic calculus operating on SN arc expressions. The CLI is a parser of expressions denoting structural relationships in SN models, it reads from the standard input, thus it can be used as a user interface or can be integrated in other tools for the design of SN models.
SNexpression is implemented in Java.

How to download and run the tool

^Top

LATEST VERSION:
The latest version includes matrix-based calculation of structural relations in SN, as well as minor bugs fixes. For this purpose, in the navigable folder folder, following the FORTE25 subfolder, a notebook and a SN model are provided in order to introduce to the new functionalities.
Click HERE to download the latest version of the tool:

PREVIOUS VERSION:
Click HERE to download the previous version of the tool.

System Requirements: JRE 7 or above

Installing and Running SNexpression

• unzip the archive;
• double-click the jar file SNexpression.jar or in a OS shell change the working directory to the folder where the archive has been decompressed and type the following command:
  java -jar SNexpression.jar

Click here to download the translator from pnpro net format to SNex sn format.

Documentation and sample files

^Top

A short user manual and several sample files showing the use of the tool for the computation of the SODEs can be downloaded respectively at User Manual and at Sample Files. A navigable folder with several examples is also available here.

SNexpression developers and contact information

^Top

The CLI, including the language parser, has been developed by Massimiliano De Pierro. The LSC, implementing a set of expression rewriting rules, has been developed by Lorenzo Capra.

Massimiliano De Pierro Dipartimento di Informatica Università degli studi di Torino Corso Svizzera 185 10149 Torino, Italia		E-mail: depierro@di.unito.it Phone: (+39) 011 6706832
Lorenzo Capra Dipartimento di Informatica Università degli studi di Milano Via Comelico 39 20135 Milano, Italy		E-mail: capra@di.unimi.it Phone: (+39) 02 50316256

Papers on the calculus and the tool

^Top

• M. De Pierro. Structural analysis of conflicts and causality in GSPN and SWN: theory and applications. PhD Thesis, Università di Torino, 2004.
• L. Capra, M. De Pierro, and G. Franceschinis. A high level language for structural relations in Well-formed Nets. In Applications and Theory of Petri Nets 2005, volume 3536 of LNCS, pages 168-187. Springer, 2005.
• L. Capra and V. Stile. An extension of the interpreter pattern to define domain-parametric rewriting systems. In 15th Int. Symp. on Symbolic and Numeric Alg. for Scientific Computing, 2013. (can be downloaded here).
• L. Capra, M. De Pierro, and G. Franceschinis. A tool for symbolic manipulation of arc functions in Symmetric Net models. Proc. of 7th Int. Conf. on Performance Evaluation Methodologies and Tools, Valuetools2013, Turin, Dec. 10-12, 2013
• Beccuti, M. and Capra, L. and De Pierro, M. and Franceschinis, G. and Pernice, S., Deriving Symbolic Ordinary Differential Equations from {Stochastic Symmetric Nets without unfolding, DiSIT, Universita del Piemonte Orientale, Alessandria, Italy, TR-INF-2018-07-03-UNIPMN, 2018, [pdf]
• Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana. Computing Structural Properties of Symmetric Nets. Quantitative Evaluation of Systems, 12th International Conference, QEST 2015 Proceedings. LNCS, volume 9259.
• Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice. Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. European Workshop on Performance Engineering, EPEW 2018. LNCS, volume 11178.
• Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice. A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. 2019 IEEE 27th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)
• S. Pernice, M. Beccuti, G. Romano, M. Pennisi, A. Maglione, S. Cutrupi, F. Pappalardo, L. Capra, G. Franceschinis, M. De Pierro, G. Balbo, F.Cordero and R. Calogero. Multiple Sclerosis disease: a computational approach forinvestigating its drug interactions. Proceeding of 16th Int. Conference Computational Intelligence methods for Bioinformatics and Biostatistics (CIBB 2019), Bergamo, Italy, September 4-6, 2019.
• Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana. SNexpression: a symbolic calculator for Symmetric Net expressions. Petri Nets 2020, 41st International Conference on Application and Theory of Petri Nets and Concurrency.

Note: Symmetric Nets were originally called Well-Formed Nets. The new name was introduced by the Standard ISO/IEC 15909-2:2011 Systems and software engineering - High-level Petri nets - Part 2: Transfer format. (See also http://pnml.lip6.fr)

The original definition of Well-Formed Nets can be found in the following papers:

• G.Chiola, C.Dutheillet, G.Franceschinis, and S.Haddad. A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science B (Logic, semantics and theory of programming), 176 (1&2):39-65, April 1997, Elsevier..
• G.Chiola, C.Dutheillet, G.Franceschinis, and S.Haddad. Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications. IEEE Transactions on Computers, 42(11):1343--1360, November 1993.

The (Stochastic) Well-Formed Nets formalism is supported by GreatSPN