Light = (red -> get -> redamber -> green -> amber -> put -> Light).

Lock = (get -> put -> Lock).

||Sys = ({a,b} : Light || {a,b} :: Lock).