If this is not already installed on your system, it is included as vc_redist.x64.exe in the zip file.
References
If you use HiPS Tool for your research, we would appreciate it if you would refer to the following papers:
Yojiro HARIE, Yuta MITSUI, Kohei FUJIMORI, Amit BATAJOO, Katsumi WASAKI : HiPS: Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool ; Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017), pp.686-690, October, 2017.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Documentation / samples
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.
If this is not already installed on your system, it is included as vc_redist.x64.exe in the zip file.
References
If you use HiPS Tool for your research, we would appreciate it if you would refer to the following papers:
Yojiro HARIE, Yuta MITSUI, Kohei FUJIMORI, Amit BATAJOO, Katsumi WASAKI : HiPS: Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool ; Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017), pp.686-690, October, 2017.