MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Aug 17, 2018
Bounds in CosyVerif


This page explains how to use the BoundsinCosiVerif services. These allow to compute some structural properties for P/T nets. It has been developed by Emmanuel Paviot-Adet at LIP6.

The Services Menu

BoundsinCosiVerif 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.

SCREEN-COPY TO BE DONEformula window