HISIm
Overview
Entry last updated: 2007/1/17
Entry last validated: 2007/1/17
Tool homepage: http://sourceforge.net/projects/hisim/
Tool availability: Free of charge
Tool Features
Petri Nets Supported (see also help on terminology)
- High-level Petri Nets
- Place/Transition Nets
- Petri Nets with Time
- Hybrid Petri Nets
Components (see also help on terminology)
- Graphical Editor
- Token Game Animation
- Fast Simulation
Environments
Tool Description
This tool allows the user to create and simulate Hybrid Petri
Nets using a GUI. The HPN implementation follows Demongodin and
Koussoulas' definition of Differential Petri Nets, and additionally
incorporates inhibitory and test arcs.
Contact Information
Alberto Amengual
International Computer Science Institute
1947 Center St, Suite 600.
Berkeley, CA, 94704
USA
Phone: Remember country code
Fax: Remember country code
E-mail: amengual@icsi.berkeley.edu
Other Remarks
This tool has been developed under the ICSI Fellowship for
Spanish Technologists, funded by the Education and Science Ministry of
Spain.
![[PN Home]](/TGI/PetriNets/img/button_home.gif)
![[*]](/TGI/PetriNets/img/button_tool.gif)
The maintainers of this page