demos
Class TFSM_Test

java.lang.Object
  extended by demos.TFSM_Test

public class TFSM_Test
extends java.lang.Object

A simple TFSM model with no inputs (to be run as a root model). This state machine has an epsilon transition from its initial state "init" to state "A", a timed transition with delay 1.0 from "A" to "B", a timed transition with delay 2.0 from "B" to "C", and a timed transition with delay 3.0 from "C" back to "A". We run it for only 10 snapshots.

Author:
boulange

Constructor Summary
TFSM_Test()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TFSM_Test

public TFSM_Test()
Method Detail

main

public static void main(java.lang.String[] args)
Parameters:
args -