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
$300 in Free Credit for Your Google Cloud Projects
Launch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
