module EXPERIMENT_16 (LINK_3, LE_LANN_STATION_ORIGINAL, NETWORK_WITHOUT_CRASHES) is process MAIN [OPEN, CLOSE:ACCESS, PRED1, PRED2, PRED3, SUCC1, SUCC2, SUCC3:PORT] is NETWORK [OPEN, CLOSE, PRED1, PRED2, PRED3, SUCC1, SUCC2, SUCC3] end process end module