HiPS1_released

HiPS : Hierarchical Petri net Simulator

Brought to you by: kwasaki

Downloads: 0 This Week

Last Update: 2024-04-30

Browse Code

Get an email when there's a new version of HiPS1_released

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

Project Activity

See All Activity >

Follow HiPS1_released

HiPS1_released Web Site

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try 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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Recommended Projects

NetBuilder' - Apostrophe
NetBuilder' is a tool for building, visualizing, and simulating multi-layered biological networks, structured as hierarchical Petri-nets. It has a built-in stochastic simulator, but also provides easy access to other simulation and analysis.
Platform Independent Petri Net Editor
IMPORTANT NOTICE: This project has moved to GitHub: https://github.com/sarahtattersall/PIPE Releases will be posted here, but please check on GitHub for the most recent activity. Create, model and analyse Petri nets with a standards-compliant Petri net tool. PIPE2 is the active fork of the Platform Independent Petri net Editor project, which originated at Imperial College London.
XL-Parser
XL-Parser is a tool for data extraction and analysis.
jEPlus - Parametrics for E+ and TRNSYS
An EnergyPlus shell for parametric studies and more ...
Petri Net Editor
An editor for stochastic Petri-nets which allows creating reachability trees and Markov graphs, simulating and gathering statistics on simulation. Created during "Computer simulation" course at Kiev Polytechnic Institute in 2010. Based on JGraphX.