Un Outil graphique interactif pour la vérification des systèmes à évolution parallèle décrits par réseaux de Petri / Chezalviel Brigitte

Date :

Editeur / Publisher : [Lieu de publication inconnu] , 1979

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Interaction humain-machine

Réseaux de Petri

Ordonnancement (gestion)

Classification Dewey : 620

Université Toulouse 3 Paul Sabatier (1969-2024) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : Les schémas a réseau de Petri: présentation des réseaux de Petri, le schéma a réseau de Petri, représentation matricielle d'un réseau de Petri, propriétés des réseaux de Petri, invariance dans un reseau de Petri. Les méthodes d'analyse: analyse par le graphe des marquages, analyse apres réduction du réseau, les invariants du reseau, nouvelle méthode d'analyse, heuristique d'utilisation. Le système: l'interface homme machine, le support physique du système. Exemples d'utilisation