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

AI-powered service management for IT and enterprise teams Icon

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it 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

Featured

Host LLMs in Production With On-Demand GPUs

NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.

Try Free

Recommended Projects

HiPS : Hierarchical Petri net Simulator
HiPS tool features to design and analyze hierarchical Petri nets
QUAST
Quality Assessment Tool for Genome Assemblies
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.
SPAT
Satellite Power Analysis Tool
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.