HansOlsson/Modelica_StateGraph2
Free library providing components to model discrete event, reactive and hybrid systems in a convenient way with deterministic hierarchical state diagrams. Modelica_StateGraph2 is not fully Modelica compliant and might never be. For clocked system Modelica 3.3 introduced state machines, but for non-clocked systems this is still a good alternative.