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

Tool homepage:

Tool availability:

Tool Features

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


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:

Contact Information

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

Phone:  +349638773537
Fax:    Remember country code

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)
[PN Home][*]
The maintainers of this page