MODELISATION, ANALYSE, SIMULATION DES SYSTEMES DISCRETS