Download
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.
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)
- Subclass structure detection with known reachability criteria: FCF, BCF, NDC, NIC, TC, SC, TCC and SCC
- Structure Detection Function for Potential L3/L2 Liveness
- Behavioral Analysis for bounded P/T-net (Reachability, Deadlock, Reversibility and Synchronic Distances)
- Behavioral Analysis for unbounded P/T-net (Coverability Graphs, Extended Cyclic CRTs Analysis, Partial Deadlock Detection 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 Continuous Simulation for P/T-ne
Project Samples
Categories
DesignLicense
Creative Commons Attribution Non-Commercial License V2.0Follow HiPS : Hierarchical Petri net Simulator
Other Useful Business Software
Our Free Plans just got better! | Auth0
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.