Currently, Magic Model Analyst can simulate only those elements whose types are specified in the supported elements table in Supported elements. Thus, you must modify your model so that only the supported (executable) elements are included in your State Machine diagram. 


State Machine simulation can be adapted in different useful ways, as shown below: