" STATE BASED CONTROL OF TIMED DISCRETE EVENT SYSTEMS USING BINARY DECISION DIAGRAMS.POMPES PAR TRANSITIONS MULTIPLES "