E. ENCRENAZ , J.M. COUVREUR , R.K.BAWA Modélisation Réseau de Petri de Machines à Etats Décrites en VHDL Le présent document est la spécification technique de l'outil VPN. Ce dernier traduit automatiquement des systèmes, décrits en VHDL, représentant des machines à états communicant par le biais de signaux, dans le formalisme Réseau de Petri. Ce document décrit d'abord le sous-langage VHDL traité. Ensuite, les règles de traduction sont détaillées, permettant d'aboutir à un réseau de Petri dont le comportement est identique à celui obtenu lorsque le système est simulé en VHDL. Un exemple est donné, il illustre les différentes étapes de construction du réseau de Petri. This document is the technical specification of the VPN tool. VPN translates automatically VHDL programs, describing state machines communicating through signals, into Petri Nets formalism. This report introduces the VHDL subset used to de­ scribe the state machines; then the translation principles are detailed. The application of these translation rules to a VHDL program, produces a Petri Net which behavior is similar to the VHDL-simulated program. An example illustrates the different building steps of the Petri Net.