II.2.4. Structural Properties

The structural properties of a PN are independent of the initial marking and may be characterized in terms of linear inequalities based on the incidence matrix of the net. The structural properties can be investigated from the Properties / Structural Properties menu, by means of the Structural Boundedness, Conservativeness, Repetitiveness and Consistency options.

II.2.5. Invariants

From the Properties/Invariants menu, the minimal-support P- and T-invariants can be visualized as vectors displayed in separate windows, automatically opened by the PN Toolbox. New invariants may be constructed as linear combinations of these vectors.