module EXPERIMENT_09 (LINK_5, LE_LANN_STATION_REVISION_1, NETWORK_WITHOUT_CRASHES) is

process MAIN [OPEN, CLOSE:ACCESS] is
   hide PRED1, PRED2, PRED3, SUCC1, SUCC2, SUCC3:PORT in
      NETWORK [OPEN, CLOSE, PRED1, PRED2, PRED3, SUCC1, SUCC2, SUCC3]
   end hide
end process

end module