There are three possibilities to obtain FAT where we recommend the second one.
- One can use FAT as Java webstart-application (fat.jnlp)
In this case, FAT runs in a secured mode where Java will forbid access to the local file system. Hence, it will not be possible to load or store automata.
The advantage of this version is that it can be run offline (just create a link to fat.jnlp on your machine), but if your computer is online you will automatically use the newest version.
- One can use FAT as trusted Java webstart-application (fatAll.jnlp)
In this case, FAT runs in a mode where you have to allow access to the local file system and where you have to trust the certificate of Ren&ecatue; Thiemann. Then it will be possible to load or store automata.
Also for this version you will automatically download the newest version.
One can download the FAT.jar file and execute it locally by:
java -jar FAT.jarHere, FAT can access the local file system, but there are no automatic updates.