Rajesh K. Bawa, E. EncrenaZ, J-M . lecouvreur VPN Technical Report VPN est un outil qui traduit des machines a états décrit en VHDL dans le formalisme de réseau de petri correspondant. Il ac­ cepte en entrée un sous-ensemble de VHDL et il peut générer aussi bien des réseaux colorés que des réseaux ordinaires. Le format de sortie peut être au choix soit le format textuel propre à l'outil ou bien le format GSPN accepté par l'outil GreatSPN VPN is a tool which translates the State Machines described in VHDL into Petri-Nets formalism. It only accepts a small subset of VHDL and it generates both colored and Ordinary Petri-Nets. The format of output can be either its own textual intermediate format or GSPN format accepted by GreatSPN tool.