Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de l'ingénierie produit/processus des systèmes de fabrication. Ce contexte conduit à repenser l'intégration hiérarchique des procédés de production au profit de structures distribuées plus flexibles et reconfigurables. Plus précisément, la maîtrise de la variabilité des produits, notamment dans le cadre d'une production personnalisée de masse, impose de pouvoir adapter le contrôle de la production aux particularités de chaque produit et d'assurer individuellement leur traçabilité.<br /><br />Notre contribution porte sur la formalisation d'un cadre de modélisation du contrôle par le produit des systèmes d'exécution de la production, basé sur les techniques de synthèse proposées dans le contexte de la théorie de la commande par supervision de Ramadge & Wonham.<br /><br />L'originalité de ces travaux consiste à placer le produit au centre de la démarche d'automatisation, en assurant l'interopérabilité entre le contrôle des ressources du système de fabrication et le contrôle par le produit de son routage à travers le système.