packageWrongStateGraphs
Examples demonstrating wrong Modelica_StateGraph2s and the error messages that appear in such cases
Contents
| 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 |