HiPS : Hierarchical Petri net Simulator Icon

HiPS : Hierarchical Petri net Simulator

alpha

HiPS tool features to design and analyze hierarchical Petri nets

13 Downloads (This Week)
Last Update:
Download two-roops.zip
Browse All Files
Windows

Screenshots

Description

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.

HiPS : Hierarchical Petri net Simulator Web Site

Features

  • Design Entry based on Hierarchical Petri nets
  • Structural Analysis for Place/Transition net (T/S-invariant, Structural Properties)
  • Behavioral Analysis for Place/Transition net (Reachability, Deadlock detection, and Reversibility)
  • Random Walk Simulation for P/T and High-level net
  • High-Speed Process Trace (State-Space) Generation

Update Notifications





Additional Project Details

Languages

English

Intended Audience

Science/Research

User Interface

.NET/Mono

Programming Language

C#

Registered

2012-04-07
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.