HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps.
Latest 5 files |
|||
|---|---|---|---|
| Name | Size | Date | Download count |
| HiPS_1.02.220204.zip | 51.9 MB | 2022-02-04 17:07 | 10 |
| HiPS_1.02.210319.zip | 155.9 MB | 2021-03-19 14:06 | 5 |
| HiPS_1.02.200821a.zip | 22.7 MB | 2020-08-26 08:59 | 5 |
| README.md | 2.6 KB | 2020-08-21 15:36 | 0 |
| README.md | 2.6 KB | 2020-08-21 15:36 | 1 |
All Files |
|||
| version 1.x | |||
| 1.02.220204 | |||
| HiPS_1.02.220204.zip | 51.9 MB | 2022-02-04 17:07 | 10 |
| 1.02.210319 | |||
| HiPS_1.02.210319.zip | 155.9 MB | 2021-03-19 14:06 | 5 |
| 1.02.200821a | |||
| HiPS_1.02.200821a.zip | 22.7 MB | 2020-08-26 08:59 | 5 |
| README.md | 2.6 KB | 2020-08-21 15:36 | 0 |
| examples | |||
| README.md | 2.6 KB | 2020-08-21 15:36 | 1 |
| HiPS1 sample models.zip | 6.9 MB | 2020-08-21 15:35 | 3 |
| 1.02.190130 | |||
| HiPS_1.02.190130.zip | 22.0 MB | 2019-01-30 19:05 | 33 |
| README.md | 2.6 KB | 2019-01-30 19:04 | 0 |
| README.txt | 2.6 KB | 2019-01-30 19:04 | 1 |
| 1.02.171107 | |||
| HiPS_1.02.171107_setup.zip | 3.5 MB | 2017-11-07 18:21 | 12 |
| HiPS_1.02.171107_setup.exe | 5.6 MB | 2017-11-07 18:17 | 6 |
| 1.02.160802 | |||
| HiPS_1.02.160802_setup.exe | 3.5 MB | 2016-08-02 12:09 | 10 |
| HiPS1_20160802_x64.zip | 4.0 MB | 2016-08-02 11:41 | 9 |
| 1.02.160219 | |||
| HiPS_1.02.160219.exe | 2.9 MB | 2016-03-03 16:28 | 5 |
| 1.02.140308 | |||
| HiPS_1.02.140308_setup.exe | 2.6 MB | 2015-04-22 15:36 | 19 |
| 1.01.130917 | |||
| HiPS_1.01.130917_setup.exe | 1.8 MB | 2013-09-18 13:40 | 12 |
| 1.01.130107 | |||
| HiPS_1.01.130107_setup.exe | 1.8 MB | 2013-01-07 11:08 | 14 |
| 1.01.121002 | |||
| HiPS_1.01.121002_setup.exe | 1.7 MB | 2012-10-02 19:44 | 9 |
| aut2bin converter | |||
| aut2bin_converter.zip | 1.2 MB | 2016-08-02 11:40 | 10 |
| bin2aut.exe | 2.4 MB | 2016-08-02 11:40 | 6 |
| aut2bin.exe | 1.8 MB | 2016-08-02 11:40 | 7 |
| version 2.x | |||
| examples | |||
| HiPS2 model.zip | 1.6 MB | 2015-06-16 18:08 | 52 |
| 2.0.150604 | |||
| HiPS2_2.0.150604(x64).zip | 188.0 KB | 2015-06-04 18:09 | 20 |
| 2.0.150528 | |||
| HiPS2_2.0.150528(x64).zip | 188.0 KB | 2015-05-28 11:45 | 4 |
| aut2dot | |||
| HiPS_screenshot_Fig17-c.png | 13.5 KB | 2014-06-18 13:38 | 16 |
| Fig17-c.xml | 3.5 KB | 2014-06-18 13:36 | 5 |
| Fig17-c.svg | 10.5 KB | 2014-06-18 13:36 | 13 |
| Fig17-c.png | 88.2 KB | 2014-06-18 13:36 | 6 |
| Fig17-c.dot | 0.9 KB | 2014-06-18 13:36 | 5 |
| Fig17-c.aut | 0.7 KB | 2014-06-18 13:36 | 3 |
| aut2dot.pl | 0.7 KB | 2014-06-18 13:33 | 4 |
