TINA Home Page (TIme petri Net Analyzer)

Software

Description
Distributions
tina-2.3.12-i386-linux.tar.gz : Tina toolbox for PCs under Linux
tina-2.3.12-i386-mswin.tar.gz : Tina toolbox for PCs under Windows or NT
tina-2.3.12-sparc.tar.gz : Tina toolbox for Sun sparcstations under SunOS 5.X
Prerequisites
tcl-tk Version 8.3.2 or higher, available precompiled at www.scriptics.com
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.
It can be compiled with gcc, with the help of the cygwin1.dll library on Windows/NT.
- Dot and Neato, part the AT&T graph drawing package Graphviz, available precompiled at www.research.att.com.
On linux, graphviz requires the freetype library, available in source form at www.freetype.org
On Windows/NT, life will be easier with some kill utility. A suitable one is pskill.exe from sysinternals.
Quick installation procedure
Install tcl-tk 8.3.2 or higher, 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.3.X 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