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)
- High-level Petri Nets
- Place/Transition Nets
- Petri Nets with Time
Components (see also help on terminology)
- State Spaces
- Condensed State Spaces
- Place Invariants
- Transition Invariants
- Net Reductions
- Structural Analysis
- Simple Performance Analysis
- Advanced Performance Analysis
- Interchange File Format
- CTL-based model checker
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]](/TGI/PetriNets/img/button_home.gif)
![[*]](/TGI/PetriNets/img/button_tool.gif)
The maintainers of this page