OMEGA Max-plus