LoLa
- Nízkoúrovňový Analyzátor Petriho Sietí
LoLA (a Low Level Petri Net Analyzer) bol vytvorený pre overenie redukčných techník používaných v PT sietiach pre dosiahnuteľnosť grafov. LoLA analyzuje dosiahnuteľnosť zadaného stavu, stavu predikátu, ohraničenosť siete alebo priestoru, body uviaznutia (deadlocks), inverzibilitu a existenciu počiatočných stavov. LoLA bol otestovaný na rôznych softwarových platformách, či uz UNIX (Solaris, Linux) alebo WINDOWS (cygwin). LoLA bol vypustený pod licenciou GPL a nevžťahujú sa naň žiadne záruky a garancie.