SimHPN

Overview

Entry last updated: 2010/9/3
Entry last validated: 2010/9/3

Tool homepage: http://webdiis.unizar.es/GISED/?q=tool/simhpn

Tool availability: Commercial (discounts for academic institutions)

Tool Features

Petri Nets Supported (see also help on terminology)

Hybrid petri nets

Components (see also help on terminology)

Graphical Editor
Fast Simulation
State Spaces
Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis

Environments

MATLAB 7.0 or higher

Tool Description

SimHPN offers a collection of tools devoted to simulation, analysis and synthesis of discrete event systems modeled by hybrid and continuous Petri nets. SimHPN is embedded in the MATLAB environment what provides the considerable advantage of creating powerful algebraic, statistical and graphical instruments exploiting the high quality routines available in MATLAB. The main features of the software package are:

Simulation of continuous Petri nets under the following firing semantics: Infinite server, Finite server, and Product semantics.
Import function from different graphical Petri net editors.
Different visualization options.
Computation of throughput bounds.
Computation of P-T-semiflows.
Optimal sensor placement.
Optimal steady-state.

Contact Information

Group of Discrete Event Systems Engineering (GISED)

University of Zaragoza (UniZar)

Maria de Luna 1, Ada Byron building
50018 Zaragoza
España

Phone:  + (34) 976762517
Fax:    + (34) 976761914 
E-mail: cmahulea@unizar.es

Other Remarks

SimHPN offers a user-friendly Graphical User Interface (GUI) allowing an intuitive use of its functions. Almost all the procedures related to simulation and structural analysis can be accessed by using the controls of the GUI.

The maintainers of this page