La modélisation des systèmes de production est difficile en raison du nombre et de la diversité des paramètres à prendre en compte et de la complexité des relations entre ces paramètres. Dans cet article, nous nous intéressons à l'étude d'une unité complètement automatisée de fabrication de wafers semi-conducteurs (fab). Dans la littérature, leur analyse est très souvent réalisée en utilisant des modèles de simulation à événements discrets, mais ces travaux ne présentent pas une véritable conceptualisation du modèle utilisé. L'objectif de cet article est de conceptualiser, à travers des méthodologies formelles, tous les composants d'une unité de production microélectronique: au niveau macro, le système physique de production et son système de supervision, ainsi que, au niveau micro, le processus de fabrication. Ces approches nous aideront à identifier les objets du modèle et leurs interactions permettant ensuite de développer un programme de simulation pour l'analyser du fonctionnement dynamique du system.