Le développement de code pour des systèmes de contrôle est un élément important de la formation des ingénieurs de l'Enssat et un enseignement spécifique est assuré sur cette partie en seconde année du cycle de formation. Dans le temps accordé à cet enseignement, nous nous attachons à sensibiliser nos étudiants à la problématique de la modélisation de la solution avant le passage au code. La difficulté que nous rencontrons est assez largement répandue et est liée à la tentation pour les étudiants d'aller trop vite vers l'écriture de lignes de code, sans avoir au préalable décrit/modélisé une solution complète. Cela engendre de nombreux tests et corrections conduisant généralement à un code difficilement maintenable et incompréhensible. Pour répondre à ce problème, nous avons développé un outil qui permet de mieux comprendre que l'important dans un contexte de développement de code n'est pas le code lui même, mais la partie qui détaille la solution à coder. En proposant un outil permettant de modéliser des solutions simples, au travers de l'utilisation des réseaux de Pétri animés, il est possible de vérifier que la solution produite répond bien au cahier des charges. La modélisation devient alors naturellement le support d'échange entre l'étudiant et l'encadrant et permet de se mettre d'accord sur les fonctionnalités de la solution. Une fois cette étape validée, l'étudiant peut alors se lancer dans le codage de la solution, phase qui requiert alors d'autres compétences relative cette fois-ci à une bonne connaissance de \emph{l'operating system} utilisé.