Invariant Analysis Module
After clicking on the run subdirectory of the invariant analysis the following dialogue box appears. By pressing the analyse button the module calculates the T and P-invariants and the P-invariant equations.
The net used in this example was the net representing the readers and writers problem. The net is illustrated below.