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.

GitHub https://github.com/kisolab/HiPS1_released/
SourceForge http://sourceforge.net/projects/hips-tools/
introduction video https://youtu.be/usF1JrQegOE

Project Samples

Play Video

Project Activity

See All Activity >

Follow HiPS1_released

HiPS1_released Web Site

Other Useful Business Software
$300 Free Credits to Build on Google Cloud Icon
$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of HiPS1_released!

Additional Project Details

Registered

2024-04-30
Report inappropriate content