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) Components (see also help on terminology)

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][*]
The maintainers of this page