Invariants analysis module

it´s a module for Petri Nets analysis. Precisely, it's doing analysis and solution of invariants for places and transitions. For running requires module LES Solver for calculations of systems of linear equations.

After pressing the module, will show a window where you can toggle between displaying the S-invariants or T-invariants. In the window we can see the following information: Incidence Matrix, or transposed incidence matrix, depending on, which invariant were labeled. Followed by solving systems of linear equations in text form, accompanied by information, that the statement of the invariants are expressed by substituting specific numbers for these parameters. At the end of the statement there is an example of such assignment of the invariants and a list with the names of the corresponding edges.