" Comparative study and implementation methodologies for distributed applications.POMPES PAR TRANSITIONS MULTIPLES "