Labelled Transition System Analyser
Version 2.2

(1st September 2001)

This new version of the LTSA has the following new features:
SceneBeans documentation now at


This version of the LTSA requires the Java 1.3 runtime environment.


To run LTSA V2.2, unzip this file and look at the README file.
Use the help menu to find out about the new features and facilities

The download contains a set of example graphic animations in addition to the examples from the book. An animation is executed after loading an FSP script by selecting it from the Check/Run menu. Unfortunately, documentation for writing animations is as yet sketchy.