Résumé :
|
La validation de logiciel basé sur le réseau de PETRI pour tester la synchronisation, et éviter les anomalies de contrôle de flux de données, est bien connue et utilisée depuis une dizaine d'années. La validation du modèle passe par le réseau du Pétri. La modélisation avec ce type de réseau apporte une dimension supplémentaire aux logiciels existants. Pour gérer les problèmes de temps, d'intervention de décision, et en général de modélisation de logiciels et leur validation, on utilise les réseaux de Pétri. Ce document présente de façon claire le fonctionnement d'un réseau de PETRI.
|