Global State Detection in Non-FIFO Networks