PN-Suite

Overview

Entry last updated: 2017/7/31
Entry last validated: 2017/7/31

Tool homepage: https://github.com/tamarit/pn_suite

Tool availability:

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)

Environments

Tool Description

PN-Suite is a system prepared to implement, combine, compare, and evaluate Petri net slicing algorithms. Roughly, this system can be seen as a workbench that implements the currently most important algorithms for Petri net slicing (it is prepared to easily integrate more algorithms into it). This system provides a new functionality that is particularly useful for the analysis and optimization of Petri nets: it combines all the slicing algorithms with the analysis of properties in such a way that one can reduce the size of a Petri net producing a slice that preserves some desired properties. PN-Suite implements interfaces to communicate with other systems such as LoLA and APT. This means that PN-Suite takes advantage of LoLA and APT analyses to report about the properties kept or lost by the slices produced. Even though we strongly encourage all users to install PN-Suite, we have implemented an online web interface: http://kaz.dsic.upv.es/pn_slicer

Contact Information

Salvador Tamarit
Universitat Politècnica de València
Camí de Vera s/n
València/46022
Spain

Phone:  +349638773537
Fax:    Remember country code
E-mail: stamarit@dsic.upv.es

Other Remarks

See a detailed description of the tool in the paper presented at the 38th International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2017) https://link.springer.com/chapter/10.1007%2F978-3-319-57861-3_8
[PN Home][*]
The maintainers of this page