Cet ouvrage présente les outils de base et les méthodes formelles traitant de la commande des systèmes discontinus. Il vient remplacer le livre « Logique séquentielle » rédigé par M. Courvoisier, J. Lagasse et J.-P. Richard, qui exigeait une mise à jour très approfondie, pour tenir compte de l'évolution des techniques dans ce domaine.Depuis les méthodes dites « de base », développées à l'origine par Huffman, Moore et Mealy, et qui constituent les fondements de la logique séquentielle, jusqu'aux méthodes les plus récentes basées sur le Grafcet et les Réseaux de Petri, et qui sont adaptées aux systèmes complexes, un volume considérable de recherches a été produit. M. Courvoisier et R. Valette en extraient ici un certain nombre, sous la forme d'un exposé progressif, au cours duquel les principes des méthodes de spécification et de conception sont rigoureusement présentés. De nombreux exemples viennent illustrer l'applicabilité de ces méthodes.La commande des procédés discontinus répond aux besoins de formation en logique séquentielle des étudiants des IUT et maîtrise EEA, ainsi qu'à ceux des élèves des écoles d'ingénieurs. Ce livre apparaît également comme l'outil indispensable aux ingénieurs de l'industrie, qui recherchent des techniques à la fois formelles et applicables.