module EXPERIMENT_15 (LINK_6, GARAVEL_MOUNIER_STATION, NETWORK_WITH_CRASHES) is process MAIN [OPEN, CLOSE, CRASH:ACCESS] is hide PRED1, PRED2, PRED3, SUCC1, SUCC2, SUCC3:PORT in NETWORK [OPEN, CLOSE, CRASH, PRED1, PRED2, PRED3, SUCC1, SUCC2, SUCC3] end hide end process end module