Activity for HiPS : Hierarchical Petri net Simulator
-
HiPS : Hierarchical Petri net Simulator released /version 1.x/1.02.250212/HiPS_1.02.250212.zip
-
-
-
Katsumi Wasaki posted a comment on a wiki page
Documentation / samples users manual : https://kisolab.github.io/HiPS/Users_Manual_en_for_1.x.html model examples : https://sourceforge.net/projects/hips-tools/files/version%201.x/examples/ Installation instructions Unzip this archive file, then copy your own directory which has read/write privilege of your system. We require the Microsoft Visual Studio 2019 redistributable package. https://go.microsoft.com/fwlink/?LinkId=746572 https://aka.ms/vs/16/release/vc_redist.x64.exe If this is not already...
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
1 >
 for 1.x_files/tool-bar.png/download){kind=link}
 for 1.x_files/t-invariant-4.png/download){kind=link}
 for 1.x_files/t-invariant-5.png/download){kind=link}
 for 1.x_files/t-invariant-1.png/download){kind=link}
 for 1.x_files/SynchronicDistance2.png/download){kind=link}
 for 1.x_files/SynchronicDistance1.png/download){kind=link}
 for 1.x_files/StructurallyAnalyzer-1.png/download){kind=link}
 for 1.x_files/SD1.png/download){kind=link}
 for 1.x_files/reachability.png/download){kind=link}
 for 1.x_files/property-weight.png/download){kind=link}
 for 1.x_files/property-name.png/download){kind=link}
 for 1.x_files/property-initialmarking.png/download){kind=link}
 for 1.x_files/poweredby_mediawiki_88x31.png/download){kind=link}
 for 1.x_files/menu-bar.png/download){kind=link}
 for 1.x_files/600px-simulation-1.png/download){kind=link}
 for 1.x_files/bounded.png/download){kind=link}
 for 1.x_files/600px-simulation-2.png/download){kind=link}
 for 1.x_files/deadlock.png/download){kind=link}
 for 1.x_files/600px-t-invariant-3.png/download){kind=link}
 for 1.x_files/coverability.png/download){kind=link}
 for 1.x_files/cc-by-nc-sa.png/download){kind=link}
 for 1.x_files/600px-t-invariant-2.png/download){kind=link}
 for 1.x_files/600px-simulation-3.png/download){kind=link}
 for 1.x_files/600px-reversibility-3.png/download){kind=link}
 for 1.x_files/600px-create-subpage-tab.png/download){kind=link}
 for 1.x_files/600px-create-subpage-insert.png/download){kind=link}
 for 1.x_files/600px-create-subpage-setting.png/download){kind=link}
 for 1.x_files/600px-create-subpage-setting-2.png/download){kind=link}
 for 1.x_files/250px-StructurallyAnalyzer-7.png/download){kind=link}
 for 1.x_files/300px-main-window.png/download){kind=link}
 for 1.x_files/250px-StructurallyAnalyzer-8.png/download){kind=link}
 for 1.x_files/250px-StructurallyAnalyzer-5.png/download){kind=link}
 for 1.x_files/250px-StructurallyAnalyzer-4.png/download){kind=link}
 for 1.x_files/250px-colorSD2.png/download){kind=link}
 for 1.x_files/250px-StructurallyAnalyzer-3.png/download){kind=link}
 for 1.x_files/250px-colorSD1.png/download){kind=link}
 for 1.x_files/250px-StructurallyAnalyzer-6.png/download){kind=link}
