26 listopadu, 2019
HiPS : Hierarchical Petri net Simulator
(2,6 / 5)
| Vydavatel: | Katsumi Wasaki |
| Verze: | 1.02.190109 |
| Velikost: | 21.1MB |
| Licence: | Freeware |
Návrh a analýza Petriho sítí
HiPS : Hierarchical Petri net Simulator je nástroj pro podnět a studii Petriho sítí. Nabízí intuitivní grafické rozhraní, které umožňuje hierarchický či časově rozložený návrh. Součástí jsou poslání statické a dynamické analýzy, jako je detekce T-invariantů, esej dosažitelnosti či detekce stavu deadlock. Provádět lze i simulaci náhodného chodu.
