ptolemy.domains.modal.kernel.FSMActor
Below are demonstration models that use ptolemy.domains.modal.kernel.FSMActor
ptolemy/verification/demo/SimpleTrafficLight/SimpleTrafficLightDECTA.xml
ptolemy/verification/demo/SimpleTrafficLight/SimpleTrafficLightSMVModule.xml
ptolemy/vergil/basic/imprt/g4ltl/demo/Numerical/Numerical.xml
ptolemy/verification/demo/iRobotHillClimbing/iRobotCreateVerification.xml
ptolemy/verification/demo/RailroadControl/RailroadControl.xml
ptolemy/domains/modal/demo/Blending/Blending.xml#BlendingController
ptolemy/verification/demo/SimpleTrafficLight/SimpleTrafficLight.xml