module ARCHITECTURE (DEFINITIONS) is

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

process ARCHITECTURE [REQ, INF: SigBoolChannel, CMD, MU: SigChannel,
                      ADD, REM, ERR, LAMBDA, NU: none] is
   -- Architecture of the turntable system
   par REQ, ADD, REM in
      par INF, CMD in
         hide TT1, TT2, TT3, TurnOn, D1, D2, DUpDown, DOnOff: none,
              C1, C2, COnOff, T1, T2, TUpDown: none in
            par
               par TT1, TT2, TT3, TurnOn in
                  TT  [TT1, TT2, TT3, TurnOn, ADD, REM, MU] (false, false, false, false)
               ||
                  TTC [TT1, TT2, TT3, TurnOn, INF, CMD]
               end par
            ||
               par D1, D2, DUpDown, DOnOff in
                  D [D1, D2, DUpDown, DOnOff, MU] (false, true) -- off and up
               ||
                  DC [D1, D2, DUpDown, DOnOff, INF, CMD]
               end par
            ||
               par C1, C2, COnOff in
                  C [C1, C2, COnOff] (false) -- unlocked
               ||
                  CC [C1, C2, COnOff, INF, CMD]
               end par
            ||
               par T1, T2, TUpDown in
                  T [T1, T2, TUpDown, MU] (true) -- up
               ||
                  TC [T1, T2, TUpDown, INF, CMD]
               end par
            end par
         end hide
      ||
         MC [REQ, INF, CMD, LAMBDA, NU] (false, false, false, false, false)
      end par
   ||
      Env [REQ, ADD, REM, ERR]
   end par
end process

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

end module