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 following services are available:

  • Place bounds: this service computes the structural bounds of the Petri net places,
  • Detect dead places: this service identifies dead places (i.e. those that are never marked)

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.