-- Resource Allocation description

include "Model.csp"

Users = [[P, 0]] 
Resources = [[P, 1]]

Comp = DefaultNetwork({ P.0,P.1 })
 
users(P.id) =  P.0 

resources(P.id) = < P.1 > 

acquire(P.id) =  P.0 

release(P.id) = < P.1 >
