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

Project Activity

See All Activity >

Categories

Design

License

Creative Commons Attribution Non-Commercial License V2.0

Follow HiPS : Hierarchical Petri net Simulator

HiPS : Hierarchical Petri net Simulator Web Site

Other Useful Business Software
MongoDB Atlas runs apps anywhere Icon
MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free

Additional Project Details

Operating Systems

Windows

Languages

English, Japanese

Intended Audience

Science/Research

User Interface

.NET/Mono

Programming Language

C#, C++

Related Categories

C# Design Software, C++ Design Software

Registered

2012-04-08