@startuml
skinparam backgroundColor transparent
skinparam shadowing false
skinparam defaultFontName Monospace
skinparam defaultFontSize 12
skinparam rectangleBorderColor #2c7794
skinparam rectangleBackgroundColor #edf6fa
title A4 APPLICATION — deterministic three-task topology
rectangle "01 main\ncreates mutex, verifier, Low" as main
rectangle "02 Low p1\ntakes mutex\ncreates High" as low
rectangle "03 High p3\nblocks on mutex" as high
rectangle "04 Low effective p3\ncreates Medium" as inherited
rectangle "05 Medium p2\nReady, still not run" as medium
rectangle "06 verifier p0\nchecks relational invariants" as verifier
main --> low
low --> high
high --> inherited : block transfers priority
inherited --> medium
medium --> verifier : after release and completion
@enduml