Modul na analýzu invariantov

je modul na analýzu Petriho sieti. Presnejšie, slúži na analýzu a riešenie invariantov miest a prechodov. Pre svoj chod potrebuje modul LES Solver na výpočet sústav lineárnych rovníc.

Po stlačení tlačidla modulu sa nám ukáže okno, v ktorom si môžeme prepínať, či chceme zobraziť S-invarianty alebo T-invarianty. V okne sa nám zobrazia nasledovne informácie: incidenčná matica, alebo transponovaná incidenčná matica v závislosti od toho, ktorý invariant mame označený. Nasleduje riešenie sústavy lineárnych rovníc v textovej forme doplnené informačným výpisom o tom, že z daného výpisu sa invarianty vyjadrujú dosadením konkrétnych čísel za tieto parametre. Na konci výpisu je jeden príklad takéhoto dosadenia a vypísane sú invarianty aj s menami zodpovedajúcich vrcholov.