I.2.4. Properties menu

The Properties menu (fig. I.5) provides computational tools for the analysis of the behavioral and structural properties of the current PN model. The following commands are available in this menu:

•

Incidence Matrix: displays the incidence matrix of the current model in a separate window;

•

Topology: performs topology analysis of ordinary Petri nets and displays the Net Class, Traps and Siphons;

•

Behavioral: constructs the coverability tree of the current model, which can be visualized in two different formats: graphic and text. The Liveness of an ordinary Petri net can also be investigated.

•

Structural: performs the analysis of the structural properties of the current model (structural boundedness, conservativeness, repetitiveness and consistency);

•

Invariants: provides minimal-support P- and T-invariants;