The FSM semantic provided by MLDesigner supports synchronous and asynchronous behavior, additional events, variables and parameters for various runs of simulations.
The FSM mechanism provided by MLDesigner supports all the basic standard elements of a finite state machine.