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
Paessler: Easy to Use With Enterprise Power. Free Trial
You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
