Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

RAPPORT

Langue

francais

Auteur

HIVERT ; EL KOURSI

Résumé / Abstract

Ce rapport présente un algorithme développe pour dégager les propriétés de vivacité et de bornage des réseaux de PETRI en utilisant les semi-flots. Le but est de rechercher les trappes et verrous par des traitements matriciels des réseaux de PETRI