Réseau de Petri équivalent au processus de gestion des commandes. 107 Détection des Boucles sur une tâches. 108 Analyse comparative. . . . . . 111 Architecture de l'appliion. . 134 Outil d'extraction et de visualisation de Processus à partir de fichiers Logs. 135 Graphe du Temps d'exécution en fonction de Nr. 136