Résumé
Le simulateur de Réseau de Pétri est une C.A.O. d'aide à la description, l'analyse, la validation et l'évaluation de performances de processus complexes en satisfaisant les spécifications fonctionnelles et les contraintes coût-performance-fiabilité-sécurité du système. Ce simulateur basé sur la description des processus par réseaux de Pétri a été réalisé dans le cadre d'un contrat DRET, sur système Time Sharing FORTRAN CDC 7600 ; il utilise un langage graphique et alphanumérique évolué de dialogue interactif. L'intérêt du simulateur de réseaux de Pétri réside dans son aptitude à représenter, visualiser et simuler l'évolution dynamique dans leur contexte externe de processus complexes en traitement du signal tels que : - processus temps réel, - systèmes logiques séquentiels et combinatoires, - systèmes micronumériques à hautes performances, - processus asynchrones parallèles, concurrentiels et interactifs (optimisation d'algorithmes de traitement du signal en fonction de l'implémentation hardware), - moniteur d'enchaînement et de coordination des tâches (moniteur câblé). Il permet également de traiter des domaines plus divers tels que : - recherche opérationnelle, - traitement de base de donnée, - système de gestion, - automatisme industriel, - analyse de fiabilité, disponibilité, locavar, dans les systèmes macromodulaires. Dans ce contexte, le simulateur permet : - l'optimisation des algorithmes de traitement du signal en fonction de leur implémentation hardware, - la détection des conflits de processus, - la détection des blocages partiels ou généralisés des processus, - la détection des fonctionnements indéterminés, - l'optimisation de l'enchaînement des tâches (parallélisme, pipe-line, ...), - l'évaluation des synchronisations inter-processus, - l'évaluation des goulots d'étranglement, - l'évaluation des priorités, - l'évaluation et l'optimisation des performances du processus dynamiquement et en fonction de son contexte externe.