hips hierarchical petri net simulator

We have hosted the application hips hierarchical petri net simulator in order to run this application in our online workstations with Wine or directly.

Quick description about hips 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 # 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.

Audience: Science/Research.
User interface: .NET/Mono.
Programming Language: C#, C++.

.