module PROCESS (DATA) is

-------------------------------------------------------------------------------

process PRIVILEDGE [OPEN, CLOSE:ACCESS, SUCC:PORT] (Ai:ADDR) is
   -- here, station Ai has priviledge to access the shared resource
   alt
      null -- station Ai decides not to access the shared resource
   []
      OPEN (Ai); -- station Ai accesses the shared resource
      CLOSE (Ai) -- station Ai releases the shared resource
   end alt;
   SUCC (TOKEN) -- station Ai passes the token to the next station
end process

-------------------------------------------------------------------------------

end module