module EXPERIMENT_11 (LINK_6, LE_LANN_STATION_REVISION_2, 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