Modélisation Réseau de Petri de Machines à Etats Décrites en VHDL

E. ENCRENAZ , J.M. COUVREUR , R.K.BAWA

IBP-Masi 1994/12: Rapport de Recherche Masi / Masi research reports
33 pages - Avril/April 1994 - French document.

PostScript : Ko /Kb

Titre / Title: Modélisation Réseau de Petri de Machines à Etats Décrites en VHDL

Résumé : 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.

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

Publications internes Masi 1994 / Masi research reports 1994