The Simulaiton plugin allows probabilistic transitions to be included in models.
Latest stable version - last updated March 19, 2004
Simply place the above jar file into the plugins directory of the LTSA tool.You also need to put the following two jar files into the lib directory.
The simulation plugin is developed by :