VPN Technical Report

Rajesh K. Bawa, E. EncrenaZ, J-M . lecouvreur

IBP-Masi 1994/13: Rapport de Recherche Masi / Masi research reports
33 pages - Avril/April 1994 - Document en anglais.

Titre / Title: VPN Technical Report

Résumé : VPN est un outil qui traduit des machines a états décrit en VHDL dans le formalisme de réseau de petri correspondant. Il accepte 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

Abstract : 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.

Publications internes Masi 1994 / Masi research reports 1994