modelDeadlock

Example with two processes sharing two resources ending up in a deadlock situation after 5 seconds
Diagram of DeadlockOpen the diagram
▶ Simulate in your browser

Extends from Modelica.Icons.Example (Icon for runnable examples).

Components

TypeNameDefaultDescription
Modelica_StateGraph2.Stepfree1
Modelica_StateGraph2.Steps1
Modelica_StateGraph2.Transitionrequest1
Modelica_StateGraph2.Steprequesting1
Modelica_StateGraph2.Steprequesting3
Modelica_StateGraph2.Steps2
Modelica_StateGraph2.Transitionrequest2
Modelica_StateGraph2.Transitionrelease2
Modelica_StateGraph2.Transitionrelease1
Modelica_StateGraph2.Stepfree2
Modelica_StateGraph2.Steps3
Modelica_StateGraph2.Transitionreqest3
Modelica_StateGraph2.Steps4
Modelica_StateGraph2.Transitionrequest4
Modelica_StateGraph2.Transitionrelease4
Modelica_StateGraph2.Transitionrelease3
Modelica_StateGraph2.Stepbusy1
Modelica_StateGraph2.Transitionstart1
Modelica_StateGraph2.Transitionreserved1
Modelica_StateGraph2.Transitionreserved3
Modelica_StateGraph2.Transitionready1
Modelica_StateGraph2.Stepidle1
Modelica_StateGraph2.Steprequesting2
Modelica_StateGraph2.Steprequesting4
Modelica_StateGraph2.Stepbusy2
Modelica_StateGraph2.Transitionstart2
Modelica_StateGraph2.Transitionreserved2
Modelica_StateGraph2.Transitionreserved4
Modelica_StateGraph2.Transitionready2
Modelica_StateGraph2.Stepidle2
Modelica.Blocks.Logical.FallingEdgefallingEdge
Modelica.Blocks.Logical.FallingEdgefallingEdge1