HiPS : Hierarchical Petri net Simulator je nástroj pro návrh a analýzu Petriho sítí. Nabízí intuitivní grafické rozhraní, které umožňuje hierarchický nebo časově rozložený návrh. Součástí jsou funkce statické a dynamické analýzy, jako je detekce T-invariantů, analýza dosažitelnosti nebo detekce stavu deadlock. Provádět lze i simulaci náhodného chodu.
Pro hodnocení programu se prosím nejprve přihlaste