Installation instructions for Linux or Solaris.


1. prerequisites:
-----------------

None.  As of  version 2.7.2,  the graphic  editor nd  is  a standalone
executable, installation of Tcl/Tk is not required.


2. installing the toolbox:
--------------------------

Download and unpack the tina distribution. This creates a hierarchy
rooted at tina-2.X.Y.  The binaries are in subdirectory bin.  The
editor is "nd", the tools are "tina", "struct", "plan", "ndrio",
"ktzio" and "selt".

To  use  the tools  standalone,  you  may wish  to  add  the tina  bin
directory to the  PATH environment variable. This is  not required for
using the tools  from the editor, however.  Alternatively,  nd and the
tools can be moved or  copied at some standard place (e.g.  /usr/bin),
provided all the contents of the tina bin directory is moved or copied
there.

The man pages are in  doc/man/mann, a quick installation in tcsh is e.g.
	setenv MANPATH <tinadir>/doc/man:$MANPATH
Directory doc/txt holds text only copies of these.

The nd editor  is configured by default for a  3-button mouse. If your
mouse  has only  1  or 2  buttons, then  the  first thing  to do  when
entering nd for the first time is to create an adequate initialization
file for nd: select help->setup,  set the right number of buttons, and
save. Then select help->help for information on the graphic bindings.


3. drawing filters:
-------------------

Nd can draw nets or  automata from textual descriptions, provided some
placement filters  are installed.  Nd has builtin  interfaces for four
filters :  graphplace, dot, neato  and circo. Graphplace and  dot play
somewhat the  same role  and are suitable  for drawing dags;  neato is
best suited for drawing graphs  with cycles; circo attempts a circular
layout.

Graphplace is bundled  with nd. It is a program  by Jos van Eijndhoven
at Eindhoven University of Technology, available in source form at:
	ftp://ftp.es.ele.tue.nl/pub/users/jos/graphplace.tar.gz

Filters  dot, neato  and  circo are  part  of the  AT&T graph  drawing
package  Graphviz.  Graphviz  is  available  precompiled  for  various
platforms at:
	http://www.graphviz.org

For convenience,  stripped down versions  of dot, neato and  circo are
bundled with the tina distributions.  If Graphviz is already installed
on your system,  then you may wish to delete the  versions in the tina
bin directory, and make the installed filters reachable from your PATH
instead.


4. bcg support:
---------------

Format  bcg  is one  of  the formats  supported  by  the CADP  toolbox
(available at http://www.inrialpes.fr/vasy/cadp).  Bcg support is only
available on linux and windows versions (please contact us if you need
bcg support for other targets).  It first requires to properly install
the CADP  toolset on your machine,  then you must  compile and install
libbcg.so  (on linux),  or  libbcg.dll (on  windows)  as explained  in
extras/bcgsupport/README.


5. pnml support:
----------------

As  of 2.8.0,  the  tina tools  support  the PNML  (Petri Nets  Markup
Language) format as an alternative to .net or .ndr. The PNML format is
still  evolving,  read  doc/formats/pnml.txt  for  details  about  the
version currently supported.


6. help, feedback:
------------------

Please report bugs or other problems to the author at bernard@laas.fr.
All comments/questions are also welcome on the tina-users forum:

	register at url: http://sympa.laas.fr/wws/info/tina-users
	post at address: tina-users@laas.fr	

Enjoy,
