Installation of the Petrinet tool TkINA

At the present time we provide TkINA
for Sparc-Solaris 2.x (abbreviated as 'solaris')
and Linux with the new glibc (abbreviated as 'linux_glibc').

Installation of TkINA involves the following steps.
1. Download the file: 
      tkina_operating-system.tar.gz
   (Note: 'operating-system' must be replaced by one of the abbreviations
          mentioned above.)
   from our Web-Page 
      http://www.informatik.hu-berlin.de/lehrstuehle/automaten/tools/
2. Uncompress it with 'gzip -d tkina_operating-system.tar.gz'
   obtaining the file 'tkina_operating-system.tar'
3. Untar this file with 'tar -xvf tkina_operating-system.tar';
   a directory 'TkINA' with several subdirectories is created 
   (make sure no file or directory called 'TkINA' is present
   before executing this step). 
   Note: If you have GNU tar (for instance, as 'gtar') you may combine steps 2 and 3
   by typing 
         'gtar -xvzf tkina_operating-system.tar.gz'.
4. Set an environment variable 'TKINA_HOME' to the name of the new 
   directory. 
   If you use 'csh' you can include the following line in your '.cshrc' file:
      setenv TKINA_HOME pathname/TkINA
   If you use 'bash' you can include the following line in your '.profile' file:
      export TKINA_HOME="pathname/TkINA"
   You can set 'TKINA_HOME' temporary by typing one of these commands at the shell
   prompt.
5. Add the subdirectory '$TKINA_HOME/bin' to your path.
   If you use 'csh' you can include the following line in your '.cshrc' file:
      set path = ($path $TKINA_HOME/bin )
   If you use 'bash' you can include the following line in your '.profile' file:
      export PATH=$PATH:$TKINA_HOME/bin 
6. Now you may invoke TkINA from any directory by typing 'tkina' at
   the prompt.

    
Notes: 
1. To use TkINA you need Tcl (Version 7.6 or 8.0 and higher) 
   and Tk (Version 4.2 or 8.0 and higher). Be sure to set 'TCL_LIBARY' and
   'TK_LIBRARY'.
2. You may have problems with older versions of linux. 
3. It is a beta version.
4. inatcl is a tcl-based interface to (some) functionality provided by
   TkINA. It allows to write simple applications using the interpreted
   scripting language tcl. inatcl is included in 'tkina_operating-system.tar.gz'.
   You may invoke it by typing 'inatcl' at the prompt.