Update the Petrinet tool TkINA within the PEP tool

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

Updating TkINA within the PEP tool involves the following steps.
0. Go to the directory '$PEPHOME' ('PEPHOME is an environment variable 
   pointing to the base directory of the PEP tool) and make a backup copy
   of the file 'bin/inatcl' by typing
      'mv bin/inatcl bin/inatcl.old'
   and rename the directory 'lib/tkina' by typing
      'mv lib/tkina/ lib/tkina.old'
1. Download the file: 
      peptkina_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. Move this file to the directory '$PEPHOME'.
4. Uncompress it with 'gzip -d peptkina_operating-system.tar.gz'
   obtaining the file 'peptkina_operating-system.tar'
5. Untar this file with 'tar -xvf peptkina_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 peptkina_operating-system.tar.gz'.
6. Now you may invoke TkINA from within the PEP tool ('INA Editor')

    
Notes: 
1. To use this update you need version 1.8 (or newer) of the PEP tool 
   See http://theoretica.Informatik.Uni-Oldenburg.DE/~pep/ for more details.
2. You may have problems with older versions of linux. 
3. It is a beta version.