Download of HiPS_1.02.210319.zip (HiPS_1.02.210319.zip ( external link: SF.net): 159,650,933 bytes) will begin shortly. If not so, click link on the left.

檔案信息

檔案大小
159,650,933 bytes
MD5
aca5cbb19bf9d06fe9d2d31ab34cccea

專案描述

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.