PSL to application Z

(process@Z)

(precedence-resource (input-material (?r1) output-material (?r3))

(precedence-resource (input-material(?r2) output-material(?r3))

(precedence-process (mix-process (?pA) paint-process( ?pB)))))

where input- & output-material are resources

where mix-process & paint-process are processor-activities