Automatique discrète

 La structure générale d'un système séquentiel et les fonctions séquentielles élémentaires sont étudiées (bascules, compteurs). La synthèse et l’analyse d’un système logique séquentiel sont traitées. La méthode d’Huffman est abordée ainsi que la synthèse simplifiée d’un séquenceur. La réalisation se fera à l’aide de bascules pour les systèmes synchrone. 
On donnera ensuite des compléments sur la synthèse d’Huffman des systèmes logiques séquentiels asynchrones (problématique des aléas, courses). 
On introduit le formalisme des réseaux de Petri pour spécifier des problèmes de parallélisme, de synchronisation et de gestion de ressources critique ainsi que le formalisme des statecharts.