Download and Install the TIOA Simulator
The TIOA
Simulator is currently provided for freedownload.
It should work on any system with a Java Runtime Environment available,
such as Linux, Windows or Mac OS. Feel free to try it and contact
us with
any comments or questions. The TIOA Simulator is provided as-is, with
absolutely no warranty.
Requires:
Installation (UNIX):
- extract the downloaded file into your home directory or
whatever location you wish:
$ unzip tioasim.zip -d ~
$ cd ~/tioasim
- Edit the 1st line of the tioarc file to
contain the full path of the installation directory. (If in home
directory, would be like /home/<username>/tioasim. For example:
$ cat tioarc
com.veromodo.tioa.registry.locationOfPackages:/home/panos/tioasim
...
- Test your java installation by running
java -version
- If the command cannot be found or if you get
a version older than 5.0, edit the tioasim file
and replace "java"
with the full path to the Java 5.0 JRE java executable
- Test the installation by executing:
./tioasim 10 test.tioa
- You should see the output of the simulator for the
automaton in test.tioa:
Initialization
a -> 3.145
r -> 3.14
i -> -3.0
n -> 3.0
1: internal transition test1
i -> 2.0
n -> 2.0
2: internal transition test2
a -> -2.0
n -> 2.0
No more transitions
No errors
Installation (Windows):
- extract the downloaded file into your desktop or
whatever location you wish:
- Edit the 1st line of the tioarc file with an editor such as Wordpad to
contain the full path of the installation directory, using "/" instead of "\". If in your desktop, this would be like:
tioa.locationOfPackages:C:/Documents and Settings/<username>/Desktop/tioasim
- Test your java installation by running
java -version
- If the command cannot be found or if you get
a version older than 5.0, edit the tioasim file
and replace "java"
with the full path to the Java 5.0 JRE java executable
- Test the installation by executing:
tioasim.bat 10 test.tioa
- You should see the output of the simulator for the
automaton in test.tioa:
Initialization
a -> 3.145
r -> 3.14
i -> -3.0
n -> 3.0
1: internal transition test1
i -> 2.0
n -> 2.0
2: internal transition test2
a -> -2.0
n -> 2.0
No more transitions
No errors
TIOA Simulator :: Download