CUI LSV LIPN LIP6
MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Displayed
Dec 12, 2017
GreatSPN in CosyVerif

Introduction

This page explains how to use the GreatSPNinCosiVerif services. These allow to compute some structural properties for P/T nets. It relies on GreatSPN: a tool developed by the university of Torino (Dipartimento Di Informatica). Please have a look here for more information about GreatSPN.

These services of GreatSPN have been integrated in to enable some structural analysis.

The Services Menu

GreatSPNinCosiVerif services are available under the "Structural Analysis" menu and proposes the elements presented in the image below.

the menu

The following services are available:

The Services

All services are operated similarly. You just need to select the one you want in the menu and then select the model you want to process. Then the result is displayed in the output text window as shown below (for P-invariants).

result window