Z is an application which only determines order of precedence between objects, i.e.a scheduler.
resource (r1, r2, r3)
process (pA, pB)
precedence-resource (p, r1, r3)
precedence-resource (p, r2, r3)
precedence-process (p, pA, pB)
