HiPS : Hierarchical Petri net Simulator

HiPS tool features to design and analyze hierarchical Petri nets

• sourceforge http://sourceforge.net/projects/hips-tools/
• introduction video https://youtu.be/usF1JrQegOE

Screen shots

TBA

[[Image:micropipeline1.jpg|240px]] [[Image:ChineseWall.jpg|240px]] [[Image:micropipeline2.jpg|240px]]

Description

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.

Features

• Design Entry based on Hierarchical Petri nets

• Incidence Matrix and Invariant Checking for P/T-net (T-invariant and S-invariant)

• Structural Properties Checking for P/T-net (Structurally Bounded, (Partially) Conservative, (Partially) Repetitive, and (Partially) Consistent)

• Behavioral Analysis for P/T-net (Reachability, Deadlock, Reversibility and Synchronic Distances)

• Liveness and Safeness Properties Checking for Free-Choice (Subclass) net

• Process Trace Graph Generator using High Speed and Memory Efficiency Algorithm

• Multi Threaded Implementations (Partially Support)

• Step-by-Step Random-Walk Simulation for P/T and High-level net

• Timeline Step-Magnitude Continuos Simulation for P/T-net

Platform available

• Windows 10/8.1/8 with .NET Framework 4

HiPS version 1 (Place/Transition net)

Download

• [https://sourceforge.net/projects/hips-tools/files/version%201.x/ HiPS version 1]

Manuals

*[[Users Manual (en) for 1.x]] *[[Users Manual (jp) for 1.x]]

Design examples

• [https://sourceforge.net/projects/hips-tools/files/version%201.x/examples/ Net Model Examples of 1.x is here.]

HiPS version 2 (High-level net)

Download

• [https://sourceforge.net/projects/hips-tools/files/version%202.x/ HiPS version 2] (alpha version; no installer)

Manuals

*[[Users Manual (en) for 2.x]] *[[Users Manual (jp) for 2.x]]

Design examples

• [https://sourceforge.net/projects/hips-tools/files/version%202.x/examples/ Net Model Examples of 2.x is here.]

References

• Published paper list (TBA)
• Related papers (TBA)

License

• [http://creativecommons.org/licenses/by-nc-sa/3.0/ Creative Commons Attribution Non-Commercial Share Alike]