Hierarchical Petri net Simulator

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 #. 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.