TINA Home Page (TIme petri Net Analyzer)

Software

Description
Distributions
tina-2.6.6-i386-linux.tar.gz : Tina toolbox for PCs under Linux
tina-2.6.6-i386-mswin.tar.gz : Tina toolbox for PCs under Windows or NT
tina-2.6.6-sparc.tar.gz : Tina toolbox for Sun sparcstations under SunOS 5.X
Prerequisites
- tcl-tk Version 8.3 (8.3.2 or higher), for the dynamically linked version. Available precompiled at www.scriptics.com.
Tcl-tk 8.3 is included in many Linux distributions, check for other targets.
- Poly/ML, available precompiled at www.polyml.org
Options

(Some may be included in the distribution, check the missing options first)
For drawing nets or automata from textual descriptions, nd uses external placement filters. Interfaces are built-in for:
- Graphplace, a program by Jos van Eijndhoven at Eindhoven University of Technology, available at ftp.es.ele.tue.nl.
A graphplace executable is part of the distribution, but, on Windows/NT, it requires the cygwin1.dll library.
- Dot and Neato, part the AT&T graph drawing package Graphviz, available precompiled at www.research.att.com.

On Windows/NT, life will be easier with some process killing utility. A suitable one is pskill.exe from sysinternals.
Quick installation procedure
Install a suitable version of tcl-tk, if needed.
Install Poly/ML; make sure the polyml driver (poly on Unixes, PolyML.exe on Windows) is reachable from your Path.
Unpack the adequate tina distribution.
Add subdirectory bin of tina-2.X.Y to your Path environment variable.
If desired, install options as explained in file doc/INSTALL of the distribution (may be delayed).
Read file README for details.

Don't forget to subscribe to the tina-users mailing list.
Mailing list
Subscribe or update your subscription at : http://sympa.laas.fr/wws/info/tina-users
Send submissions to tina-users@laas.fr