.Modelica_StateGraph2.Examples.Applications.Deadlock

Information

Example with two processes sharing two resources ending up in a deadlock situation after 5 seconds