Max+plus II Advanced Synthesis