.Modelica_StateGraph2.Examples.WrongStateGraphs

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