INA

Overview

Entry last updated: 2003/5/2
Entry last validated: 2004/5/17

Tool homepage: http://www.informatik.hu-berlin.de/~starke/ina.html

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)

Environments

Tool Description

See INA homepage

Contact Information

Prof. Dr. Peter H. Starke
Institut f’r Informatik der Humboldt-Universit„t zu Berlin
Unter den Linden 6
D-10099 Berlin
GERMANY 

Phone:  +49 (30) 2093 3078 
Fax:    +49 (30) 2093 3081
E-mail: starke@informatik.hu-berlin.de

Other Remarks

Versions running under Sun-OS, Sun-Solaris, Linux and Windows are available on the INA homepage as well as the (English and German) manual.
[PN Home][*]
The maintainers of this page