Download Latest Version HiPS_1.02.250212.zip (89.3 MB)
Email in envelope

Get an email when there's a new version of HiPS : Hierarchical Petri net Simulator

Home / aut2dot
Name Modified Size InfoDownloads / Week
Parent folder
HiPS_screenshot_Fig17-c.png 2014-06-18 13.8 kB
0
Fig17-c.xml 2014-06-18 3.6 kB
0
Fig17-c.svg 2014-06-18 10.7 kB
0
Fig17-c.png 2014-06-18 90.3 kB
0
Fig17-c.dot 2014-06-18 957 Bytes
0
Fig17-c.aut 2014-06-18 714 Bytes
0
aut2dot.pl 2014-06-18 692 Bytes
0
Totals: 7 Items   120.8 kB 0

HiPS : Hierarchical Petri net Simulator

Overview

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 functioned of static/dynamic analysis: T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. Also, 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-net

Documentation / samples

Installation instructions

Unzip this archive file, then copy your own directory which has read/write privilege of your system.

We require the Microsoft Visual Studio 2019 redistributable package. - https://go.microsoft.com/fwlink/?LinkId=746572 - https://aka.ms/vs/16/release/vc_redist.x64.exe

If this is not already installed on your system, it is included as vc_redist.x64.exe in the zip file.

References

If you use HiPS Tool for your research, we would appreciate it if you would refer to the following papers:

Yojiro HARIE, Yuta MITSUI, Kohei FUJIMORI, Amit BATAJOO, Katsumi WASAKI : HiPS: Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool ; Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017), pp.686-690, October, 2017.

License

Creative Commons Attribution Non-Commercial Share Alike

Contact

email: wasaki@cs.shinshu-u.ac.jp website: https://sourceforge.net/projects/hips-tools/

Source: README.md, updated 2025-02-12