TINA Home Page (TIme petri Net Analyzer)

Software

Announce
Tina toolbox V2.2
Distributions
tina-2.2.7-i386-linux.tar.gz : Tina toolbox for PCs under Linux
tina-2.2.7-i386-mswin.tar.gz : Tina toolbox for PCs under Windows or NT
tina-2.2.7-sparc.tar.gz : Tina toolbox for Sun sparcstations under SunOS 5.X
Prerequisites
tcl-tk Version 8.3 or higher, available precompiled at www.scriptics.com
Poly/ML Version 4.1, available precompiled at www.polyml.org
Options

Placement filters
For drawing nets or automata from textual descriptions, the tina editor requires external placement filters. Interfaces are built-in for the following:
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

Miscellaneous
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 or higher, if needed.
Download Poly/ML 4.1; make sure the polyml driver (poly on Unixes, PolyML.exe on Windows) is reachable from your PATH.
Unpack the adequate tina distribution. This creates a hierarchy rooted at tina-2.X.Y. The binaries are in subdirectory bin.
If desired, install options as explained in file doc/INSTALL of the distribution (may be delayed).
Read file README for details.