| Name | Description |
|---|
 SimpleInfiniteLoop | A wrong Modelica_StateGraph2 that has an infinite loop (translates with an error) |
 SeveralInfiniteLoops | Several loops that have wrongly only one delayed transition in one of the loops, but not in all |
 InfiniteLoop | A wrong Modelica_StateGraph2 with infinite looping of a composite step (translates with an error) |
 ParallelWithInfiniteLoop | A wrong Modelica_StateGraph2 to demonstrate parallel execution paths with infinite looping ((translates with an error)) |
 NoInitialStep | An initial step is missing |
 AutonomousWithSuspendAndNoInitialStep | Autonomous parallel with suspend/resume (either the parallel should have initialStep= true or an initial step is missing in the resume branch) |
 TwoInitialSteps | A wrong Modelica_StateGraph2 that has two initial steps (gives an error during initialization) |
 ParallelWithTwoInitialSteps | Wrong Modelica_StateGraph2 with two initial steps |
 UnsafeParallel1 | Wrong Modelica_StateGraph2 that branches out of the parallel step (gives error during initialization) |
 UnsafeParallel2 | Wrong Modelica_StateGraph2 where not all parallel paths are synchronized (gives translation error) |
 UnsafeParallel3 | Wrong Modelica_StateGraph2 where not all parallel paths are synchronized (gives translation error) |
 UnsafeParallel4 | Wrong Modelica_StateGraph2 where not all parallel paths are synchronized and a wrong initial step is added to compensate for this (gives an error during initialization) |
 UnsafeParallel5 | Wrong Modelica_StateGraph2 where an initial step is placed in a parallel (gives translation error) |
 NoUnaryConnection1 | Two steps are wrongly connected to the same outPort of a transition |
 NoUnaryConnection2 | Two steps are wrongly connected to one element of an entry port |
.Modelica_StateGraph2.Examples.WrongStateGraphs