About this manual

This manual descibes the functionality of version 2.2 of INA . It was written by Stephan Roch in collaboration with Prof. Peter H. Starke with the text setting system L^ATEX2e the KOMA-Script-Package (from Frank Neukamm and Markus Kohm) and the program L^ATEX2HTML (from Nikos Drakos nikos@cbl.leeds.ac.uk) and translated by Dirk Schlatter with the help of Stefan Haar and Mathew O'Breigh (partially supported by the Deutsche Forschungsgemeinschaft in the ``PEP''-project). It is based on extensive testing, detailed source code analysis, and personal consultations with Prof. Starke.

The following formats can be downloaded here:

• PostScript [950 kB]

• PostScript (gzip packed) [270 kB]

• HTML (zip/pkzip packed) [350 kB]

Example nets of the manual (zip packed for Linux or Unix) [5 kB]
Example nets of the manual (pkzip packed for Windows) [5 kB]

Manual of version 1.7 (only in german)

Manual of version 2.1 (only in german)

The html-version of the manual can be viewed with common browsers.

In order to have an optimal display, enlarge the window of your browser so that you can see the following line without a line break:

 This line is 80 characters long, and should be visible withou a line break.....

In addition, your browser should be capable to display inlined gifs:

A full version of the program is available free of charge for different platforms (see start page))

For information on further versions of the program, please refer to Prof. Starke.

Conditions for source codes are announced upon request.

No responsibility is assumed for any mistakes in this manual or in the program.

Contact address:

Humboldt-Universität zu Berlin
Institut für Informatik
Lehrstuhl für Automaten- und Systemtheorie
Prof. Peter. H. Starke
Unter den Linden 6
10099 Berlin
Telefon: (+49) (30) 2093 3078 /
Fax: (+49) (30) 2093 3081
Email: starke@informatik.hu-berlin.de