Towards an approach of synthesis, validation and implementation of distributed control for AMS by using events ordering relations