Home

GRIF 2012 Réseaux de Petri à prédicats - GRIF

1. 42 4 9 2 Respecter l ordre des transitions d terministes ssennessseesssseesssresssseesssressssresssreesseres 43 Manuel utilisateur 2 70 4 10 Transitions de type tir la sollicitation ooonesenuossseessesressseessesresssreessoressseressoeesseeeessseeo 43 4 11 Stopper une action de simulation en cours sisi eeseseeseeeesesse 44 RUE SO DOS e E E E E E E E 45 5 Statistiques et configuration des variables seessscoesscoescsoeessooesssoeesosoeessooessooesssseesssoessssoesssoeeo 46 Jle Denon AE cials SAS a annee tee nanas de ice De on oo 46 5 2 Configuration des tats statistiques ou Variables ssnenssssnssssnesssressseresssrresseressseeresssreesseee 46 2 1 EVDES Ce SAIS AQUES SE E te on os 47 Ie PS CS a 47 T PS OPA SR ee dd ie ta de ad ie ic de 48 5 3 Tableaux et profil de variables raies echec ton een e ns anses ends nue teen costumes 49 6 Calls par MOCCA CR EEA aE ENAR ENESE ENS 50 d Parametra e Ges Calculs ne a a E TEE EE TERS 50 6 2 Lecture des r sultats Nouvelle interface sidi en Ea Esa araia 51 02 1 Presentaton des donnees Moca arrerssererr r pa Teon a EE EEE EESE E 51 ER DOTIES ara EEE 53 1 12 P nette EdIHOH AS COUDE S a a 53 7 2 Courbes depuis les donn es de la banque de r sultats nonnnssnnsssnnsssnressssresssressseresssressseee 55 Lo Exemples de COUDES ee EE te the croire iii ed en Cine on 56 SDS OA O S I E E EEE 56 Pa COOP rE r E 5
2. 0 1 1 2 2 3 cf Manuel utilisateur Moca pour plus d informations Nous avons fait le calcul sur le nombre de composants en marche la fin d une histoire On observe qu il y a 2 composants en marche la fin pour la majorit des histoires environ 8000 histoires sur 10000 Il est possible de d finir les intervalles correspondants aux S I L de mani re observer dans quel S I L se situe le composant au cours des histoires Les bornes des intervalles peuvent tre d finies de quatre mani res e Les bornes d finies automatiquement pour les SIL e D finition manuelle des bornes s par es par des virgules _ It ration o l utilisateur indique un borne minimum une borne max et la taille des intervalles souhait s _ It ration logarithmique o l utilisateur indique un borne minimum une borne max et le nombre d intervalles qu il souhaite Les intervalles seront calcul s de mani re tre de taille gale sur une echelle logarithmique Manuel utilisateur 58 70 z TOTAL En plus des bornes indiqu es par l utilisateur une borne est rajout e moins l infini et plus l infini ce qui permet d obtenir un histogramme contenant toutes les informations Lorsque les bornes sont sp cifi es il ne reste plus qu a choisir si les intervalles sont d finis inclu droite ou inclu gauche RQ La norme IEC 61608 d finit des intervalles inclus gauche pour les SIL Manuel utilisateur 59 70 8 Bases de
3. Il y a de nombreuses mani res de d marrer une simulation e utiliser le menu Mode Simulation e cliquer sur l ic ne correspondante de la barre d outils verticale e cliquer sur l ic ne correspondante de la barre d outils verticale Manuel utilisateur 41 70 Toks me Faire _ B exp Lambda I Produckion B Fa ed_E Toks 0 i Fenair otat _ B aT l 77 Repairleam_ OK Il RepaiTeam_ OK ralse Fenaraton S Toks z TOTAL 4 8 Ech ancier de la simulation Concernant l exemple tant donn que la variable bool enne RepairTeam_OK vaut initialement TRUE la transition Repair_Start du composant d faillant celui de gauche sera valide Pour ce qui est de l autre composant sa transition de d faillance Failure restera valide Prodhi k 50 0 ProdhtAx B Toks 100 0 Toks JE Produckon A 0 NE Produciion_ B Repair Em A i Fenair Emi _ A i I Production A Pod hAX A Toks 1 Production 8 Pod HAX B Toks RepaiTeam_ DK iure RepaiTeam_ DK iue PEE art A re Start S 73 A A OK 73 S eiT OK Il RepaiTeam_ OK ralse Il RepaiTeam_ OK ralse 3 eine Reparation nes Feparation_ E j Toks Toks Pouchon A HP S Repa 4 9 Transitions d termnistes 4 9 1 Tir automatique des transitions instantann s d lai nul Le d clenchement automatique des transitions permet en mode simulation de tirer automatiquement
4. l ensemble des fonctions utilisables dans Moca cf Manuel Utilisateur Moca 2 2 3 4 Onglet Affectations Properties Hame Failure Froduction 0 0 Failure NEFailure 1 Parameters g Functions Manuel utilisateur 17 70 TOTAL L onglet Affectations est compos d un diteur de code identique celui des gardes permettant de saisir les affectations Les affectations sont jou es apr s le tir de la transition Dans le moteur de calcul Moca le comportement naturel est le suivant les diff rentes affectations sont s par es n par des et elles sont r alis es en parall le Il est possible de sp cifier une xecution s quentielle des affectations mon en cochant la case Affectations s quentielles Dans ce cas chaque affectation doit finir par un 2 2 3 5 Onglet Autres Properties Hame Failure L_ Histogram saves firing dates L Transition with memory Condition to keep memory true Priority positive for high priority otherwise negative lo _ Prevent multiple triggers at the same time L_ Equiprobable management of conflict _ Private for prototype L onglet Autres contient 6 options 1 Cocher la case Histogramme permet de sp cifier MOCA RP d enregistrer tous les instants de tir de cette transition et de les imprimer par la suite 2 La case Priv e n est utilis e que pour la cr ation de prototypes cf annexe sur les prototypes 2 2 3
5. _ Align right E Align top 1 it J View toolsBar H E Align middle n Mkts 0 F Display state bar i Align bottom Ets 0 Document options Application options Cu nel Connect to a CSY file fes De m me pour aligner des l ments horizontalement 1l suffit de s lectionner le type Aligner au milieu qui aligne les ordonn es en maintenant les abscisses constantes Le principe est le m me que celui d crit ci dessus 2 8 9 S lection multiple Il peut s av rer parfois utile de s lectionner plusieurs l ments dispos s aux diff rents coins de la zone de saisie Pour simplifier ce type de s lection il suffit de cliquer un un sur chacun des l ments vis s en maintenant la touche Shift du clavier enfonc e 2 8 10 S lection de partie connexe Il est parfois difficile de s lectionner une partie connexe d un mod le Pour simplifier la s lection il suffit de s lectionner un l ment graphique puis d utiliser le menu S lectionner une partie connexe du menu Edition Il est possible d effectuer directement la s lection connexe en cliquant sur l l ment avec le bouton Ctrl enfonc 2 8 11 Taille de la page S1 lors d une mod lisation la taille de la page n est pas suffisante 1l est possible d en changer la taille en utilisant les menus Augmenter la taille de la page Diminuer la taille de la page Taille de la page du menu Outils 2 8 12 R ticule Afin de pouvoir r aliser rapidement un mod le ordonn et
6. Mise en page ET xi Papier Tale CR Source S lection automatique m Orientation r Marges milim tres Portrait Gauche 25 4 Droite 25 4 C Paysage Haut 25 4 Bas 25 4 L Annuler Imprimante e La fonction Imprimer permet d exporter tout ou partie du document au format pdf Les graphiques sont export s dans un format vectoriel afin de pouvoir redimensionner ces derniers votre convenance et sans degradation BA GRIF Module Arbre de d faillances Impression du document Impression de la page en cours e Impression de la s lection m c icons bool el FaultTree 1 m E Eventrree 1 Ei ooo page partiellement s lectionn e amp EJ graphiques c matrices Ed SafetyLoop 1 gt LL BlocDiagram 1 w 1 EventTree 2 v Imprimer les pages s lectionn es partiellement Propri t s d impression v Imprimer le cadre Imprimer le nom du fichier r v Imprimer le num ro de page v Imprimer la date er me Une fen tre d impression s ouvre alors l utilisateur peut s lectionner les pages imprimer et configurer les propri t s d impression e Impression du document Permet d imprimer tout le document e Impression de la page en cours Permet d imprimer la page en cours e Impression de la s lection Permet de s lectionner
7. Moca est cr lors des calculs 5 1 D finition des tats statistiques Un tat statistique est une variable dite Observ e Dans un premier temps il faut d finir quels seront ces tats statistiques Pour cela il faut diter les variables du mod le soit par le menu Donn es et calculs Edition Variables ou soit par l onglet Edition des Variables Il suffit alors de positionner la propri t Observ e d une variable pour qu elle devienne un tat statistique Edit Variables Mel E EE 5 w X Definition Initial value Intern for prototype Initial value in prototype Float part 1234 0 1 23463 Wh jotner Boo OOOO Integer var 9988 9 988E3 H other l 8883222 EE Localization 5 2 Configuration des tats statistiques ou Variables Une fois que les variables sont d clar es observ es il faut maintenant les configurer en sp cifiant notamment les types de calculs statistiques et les temps de calculs dont ils feront l objet Pour cela il faut faire un clic droit sur la variable et choisir Configuration des calculs S Computation setup for Prod Computations Histograms Types de statistiques 4 Cumulated time where value is not null L_ 2 Probability to have a not null value at t 3 Value at t L_ 4 Number of changes from null value to not null value between 0 and t 5 Mean value from 0 tot L_ 6 Date of first affectation to a not null value L Timing Chart HE for booleans f
8. S lectionner tout D s lectionner tout Cliquez sur OK pour supprimer les l ments s lectionn s Annuler Aide La fen tre ci dessus s affiche et pr sente toutes les donn es inutilis es S lectionnez les donn es que vous souhaitez vraiment supprimer puis cliquez sur OK 2 3 4 Cr ation des donn es L diteur de param tres permet de cr er des param tres de type bool en entier et r el La fen tre suivante permet de choisir le nom le domaine et la valeur du param tre L diteur de variables permet de cr er des variables d finies l aide d expressions complexes La cr ation se fait avec la m me fen tre que les param tres Code editor Tools Camee JS Variables Parameters Le Functions Manuel utilisateur 22 70 D TOTAL L diteur de code est compos de trois parties La premi re est une zone de texte ditable permettant de saisie du code la syntaxe Moca RP Sous cette zone se trouve une zone non ditable indiquant d ventuelles erreurs La troisi me est la partie Outils qui est une aide la saisie Le bouton Syntaxique effectue une v rification syntaxique Le bouton S mantique effectue une v rification s mantique Les erreurs sont affich es dans la partie inf rieure gauche Sous les boutons se trouvent des menus d roulants qui permettent d acc der aux diff rentes donn es du mod le S lectionner la donn e voulue puis cliquer
9. des colonnes La case D sactiver le tri permet de d sactiver le tri des donn es Cela permet d am liorer les performances de l application avec des mod les tr s complexes Pour modifier une donn e il suffit de double cliquer sur la case modifier Lorsque plusieurs lignes sont s lectionn es a l aide des touches CTRL ou SHIFT il est possible de faire des modifications sur l ensemble des donn es s lectionn es en utilisant le bouton Modifications Multiples Une fen tre s ouvre alors pour permettre les modifications Manuel utilisateur 20 70 Modification multiple Mofication multiple des Param tres Champ valeur Mor aleur annect imension Taux Derni re base Ce qui ne peut pas tre modifi est gris Les lignes blanches signifient que les donn es s lectionn es n ont pas la m me valeur pour le champ en question il est possible d entrer la nouvelle valeur qui sera prise en compte pour toutes les donn es s lectionn es Les lignes qui n ont pas de couleur de fond indiquent que toutes les donn es s lectionn es ont la m me valeur pour ce champ ici les donn es s lectionn es sont toutes des Float il est possible de les modifier pour donner une nouvelle valeur toutes les donn es s lectionn es Le tableau inf rieur du tableau de donn es indique quels sont les l ments du mod le qui utilisent la donn e s lectionn e La premi re colonne de ce tableau indique le nom de ces l m
10. e Legende l gende de la courbe e Selection du calcul permet de choisir dans la banque de r sulats le calcul utiliser e R sultat afficher un calcul contient souvent plusieurs r sultats cette arborescence permet de sp cifier le resultat que l on souhaite dans le calcul e Axes Lorsque le r sultat est s lectionn il ne reste plus qu a indiquer ce qui doit tre mis en abscisse et en ordonn e e Grandeurs afficher Enfin il en possible d afficher certaines informations suppl mentaires min max moyenne Manuel utilisateur 55 70 7 3 Exemples de courbes Voici le r seau de Petri partir duquel vont tre trac es les diff rentes courbes Component Component B Mort ts 1 Faire exp Lambda I Poouchion 0 Faire exp Lambda I Poouc ion 0 I Podycton Prod Ets 1 Production Podfx Ets Repair Start Fendi Start or ES aT l Reparation Reparation Ets Ets Il s agit de deux composants A et B e A est r parable avec un d lai avant r paration mod lis par une transition loi de Dirac e B est galement r parable mais sans d lai avant r paration La simulation sera r alis e pour 10 000 histoires de 30 000 heures 7 3 1 Disponibilite Cure 1 Curve 1 Win 2 11641E 1 WMax 6 37925E 1 Mean 2 49527E 1 Cette courbe repr sente l volution de la disponibilit moyenne du composant A au cours du temps Les points ont t calcul s
11. s la virgule 10 7 Places L onglet Places permet de modifier l affichage des places Taille des labels Permet de sp cifier la taille de la police du label des places Afficher le nom Permet d afficher ou non le nom des places Afficher le num ro Permet d afficher ou non l ID des places Afficher le nombre de jetons Permet d afficher ou non le nombre de jetons Afficher le nom sur les renvois Permet d afficher ou non le nom de la place de r f rence sur de chaque renvoi 10 8 Transitions L onglet Transitions permet de modifier l affichage des arcs Taille des labels Permet de sp cifier la taille de la police du label des transitions Afficher le nom Permet d afficher ou non le nom des transitions Afficher le num ro Permet d afficher ou non l ID des transitions Manuel utilisateur 68 70 z TOTAL Afficher les caract ristiques HISTO Permet d afficher ou non le flag HST des transitions Afficher les options de tir PRIO EQP Permet d afficher ou non les options de tir de la transition Afficher les caract ristiques SEQ Permet d afficher ou non le flag SEQ pour les transitions affectations s quentielles Afficher les guardes Permet d afficher ou non les gardes des transitions Afficher les affectations Permet d afficher ou non les affectations des transitions Afficher la loi Permet d afficher ou non les lois des transitions Utiliser une loi par d faut Permet d utiliser
12. transition Repair_Start du composant d faillant celui de gauche sera valide Pour ce qui est de l autre composant sa transition de d faillance Failure restera valide Prodhi s Prodhi x_B kirt _ A Mart _ E sel Toks Le Toks Failure Faite B exp Lambda exp Lambda I Production A Repair Er A exp 0 4 Faieg Production A Pamah 4 Toks Fenairrednt CA de Repair sart aT l 77 Repair leam_ OK Production O0 Fenaraton Toks Repa 4 3 Tir des transitions Il Feparteant OK rale Production _B 100 0 I Production E Repair Emi _E i exp 0 Fed E Production 8 PoHAaX B Toks i RepaiTeam_ DA iue Repar start E aT l 77 Repairleanm_ OK Il Feparteant OK rale Fenaraton S Toks Production A HA mnauchon_ S CE DD La manipulation qui pr sente un int r t majeur est pouvoir tirer la main les transitions valides e choisir une des transitions valides e faire un clic gauche dessus Cela a pour effet de e retirer le jeton de la place Work d o l inhibition de la transition Failure e ajouter un jeton dans la place Failed Manuel utilisateur z TOTAL Concernant l exemple tant donn que la variable bool enne RepairTeam_OK vaut initialement TRUE la transition Repair_Start du composant d faillant celui de gauche sera valide Pour ce qui est de l autre composant sa transition de d fai
13. 6 Ajout de gardes Une fois le param trage des gardes des transitions effectu 1l est possible d ajouter une ou plusieurs autres gardes Cette fonctionnalit est disponible dans le tableau des transitions onglet Edition des transitions situ dans la partie droite de l application Pour ajouter une ou plusieurs gardes une ou plusieurs transitions 1l suffit de s lectionner la ou les transitions modifier de faire un clic droit et de s lectionner le menu Ajouter une garde Avec un Et ou le menu Ajouter une garde Avec un Ou Le menu Ajouter une garde Avec un Et ajoutera la ou les nouvelles gardes aux transitions s lectionn es en faisant un Et logique avec les pr c dentes Le menu Ajouter une garde Avec un Ou ajoutera la ou les nouvelles gardes en faisant un Ou logique avec les pr c dentes La saisie des gardes ajouter se fera gr ce un diteur de code 2 2 3 7 Ajout d affectations Une fois le param trage des affectations des transitions effectu 1l est possible d ajouter une ou plusieurs autres affectations Cette fonctionnalit est disponible dans le tableau des transitions onglet Edition des transitions situ dans la partie droite de l application Pour ajouter une ou plusieurs affectations une ou plusieurs transitions il suffit de s lectionner la ou les transitions modifier de faire un clic droit et de s lectionner le menu Ajouter une Affectation La saisie des affectations ajouter se f
14. N 1 couples car le dernier est d duit en faisant le compl ment 1 et en utilisant la seule place non s lectionn e se r f rer au manuel le Manuel utilisateur de Moca RP pour plus d explications e Les Lois sp ciales ne sont utilisables que dans le cas tr s particulier o le moteur de calcul a t recompil pour en tenir compte Cf Manuel utilisateur de Moca RP Manuel utilisateur 16 70 2 2 3 3 Onglet Gardes Properties Hame Failure guards Failure true Parameters g Functions L onglet Gardes est compos d un diteur de code permettant de saisir la ou les garde s de la transition La garde est une expression bool enne La transition n est tirable que si la garde est vraie L diteur de code est compos de trois parties La premi re est une zone de texte ditable permettant de saisie du code la syntaxe Moca RP Sous cette zone se trouve une zone non ditable indiquant d ventuelles erreurs La troisi me est la partie Outils qui est une aide la saisie Le bouton Syntaxique effectue une v rification syntaxique Le bouton S mantique effectue une v rification s mantique Les erreurs sont affich es dans la partie inf rieure gauche Sous les boutons se trouvent des menus d roulants qui permettent d acc der aux diff rentes donn es du mod le S lectionner la donn e voulue puis cliquer sur le bouton lt pour l ins rer dans le code Le menu d roulant Fonctions donne acc s
15. Nb la notion de profil n est pas reli e aux variables c est uniquement le petit r seau de Petri g n r qui modifie la variable en fonction du profil C est pour cela qu il ne faut pas modifier ce r seau g n r Manuel utilisateur 49 70 6 Calculs par MOCA Les calculs par MOCA RP V12 s effectuent en trois tapes principales e le param trage g n ral e le lancement proprement dit e la lecture du fichier r sultat 6 1 Param trage des calculs La fen tre de param trage des calculs est accessible de deux mani res diff rentes soit par le menu Donn es et calculs Donn es Moca soit par Donn es et calculs Lancer Moca 12 La diff rence entre les deux est que dans le second cas l tape de param trage est directement suivie par l tape de lancement des calculs La fen tre de param trage qui est ainsi ouverte est appel e Lancement des calculs Moca Title PPetrit jpp Default compute times O Times or list of times separator terate From lo To brao Step 720 Computation made at t after triggering transition D General Variables Output Options Advanced Options Humber of histories 10 st random Humber 1 2345681E7 Maximum calculation time sec Hoo Automatic history duration History duratic Multi processors computing e x _ Activate uncertainty propagation Cette fen tre de param trage est compos e de plusieurs parties 1 Titre permet de donner
16. Si le niveau de priorit est identique les transitions seront tir es dans l ordre chronologique de leur cr ation Depuis la version 2010 la priorit peut tre une expression La case Empecher plusieurs tirs au m me instant emp che la transition d tre tir e plusieurs fois sans que le temps n ai t increment Cela n a d int ret que pour les transitions IFA IPA ou DRC O La case Gestion quiprobable des conflits permet d obtenir une fr quence de tir identique lorsque deux ou plus transitions sont en conflit L onglet Tir permet de choisir la loi de Tir de la transition e La loi D faut correspond au fonctionnement normal des r seaux de Petri les places aval seront remplies comme d fini dans Section 2 2 2 Param trage des arcs e La loi Tir la sollicitation correspond la loi Moca RP du m me nom seule une des places aval se trouvera remplie apr s le tir Les arguments de cette loi sont les N 1 i mes probabilit s d arriver dans une des N places aval La derni re probabilit est calcul e par le moteur de calcul en faisant le compl ment 1 se r f rer au manuel le Manuel utilisateur de Moca RP pour plus d explications e La loi Tir la sollicitation 2 correspond la loi Moca RP du m me nom seule une des places aval se trouvera remplie apr s le tir Les arguments de cette loi sont N 1 couples proba place Il est possible de sp cifier la probabilit d arriver dans une place donn e Il y a
17. connexion une base de donn es e Utiliser la connexion la base de donn es Indique s il faut ou non se connecter la base de donn es e Nom Le nom de la base sera inscrit dans les param tres lors de leur mise jour Cela permet de savoir depuis quelle base il a t mis jour la derni re fois e Driver JDBC Permet de saisir le nom du driver utiliser pour se connecter la base sun ydbc odbc JdbcOdbcDriver oracle jdbc driver OracleDriver e Connexion la base Url de connexion o se trouve la base e Option de connexion Propri t s de la connexion e Login Login utiliser pour se connecter la base e Mot de passe Password utiliser pour se connecter la base e Requ te SQL Requ te qui doit tre ex cut pour r cup rer les informations utiles e Nom du champ pour l ID Nom du champ contenant l identifiant des donn es e Type d identifiant Type de champ de l identifiant INTEGER FLOAT VARCHAR 32 Nom du champ pour le nom Nom du champ contenant le nom des donn es Nom du champ pour la valeur Nom du champ contenant la valeur des donn es Nom du champ de description Nom du champ contenant la description des donn es e Nom du champ de dimension Nom du champ contenant la dimension des donn es e Tester la connexion Nom du champ contenant la description des donn es 10 3 Langage L onglet Langue permet de choisir sa langue e Langage Le ch
18. d tente il est n cessaire ici de sp cifier le nombre de jeux de param tres jou s le nombre r el d histoire ainsi simul es sera de nombre de jeux de param tres x nombre d histoires simuler et sera affich dans le champs Nombre total d histoires 4 Variables L onglet variables rappelle et permet de modifier la configuration du calcul pour chaque variable Si le document contient des tats statistiques un onglet suppl mentaire sera disponible 5 Options de Sortie permet de param trer la sortie e Impression ou non de la description du r seau de Petri dans le fichier r sultat e Impression du fichier r sultat permettant de le recharger l aide d un tableur type EXCEL e Impression ou non des d lais censur s e Nombre de sorties durant la simulation si 2 alors il y aura une sortie au bout de NH 2 et une au bout de NH 6 Options avanc es utilis pour configurer les options avanc es e Vous pouvez choisir la limite pour le nombre de tirs instantan s avant d tection d une boucle 6 2 Lecture des r sultats Nouvelle interface A partir de GRIF 2010 les r sultats sont pr sent s dans une fen tre avec diff rents onglets et tableaux 6 2 1 Pr sentation des donn es Moca Les donn es Moca sont pr sent es sous la forme d une fen tre contenant 6 onglets principaux variables places transitions XML sortie stantard info 6 2 1 1 Onglet variables L onglet Variables contient toutes les
19. informations calcul es pour les variables ou tats statistiques e Valeurs Contient toutes les valeurs des variables pour tous les types de statistiques calcul s e Historique en fin d histoire Contient l historique des valeurs en fin d histoire pour tous les types de statistiques calcul s e Histogramme de taille fixe Contient les histogrammes calcul s par Moca cf chapitre sur les histogrammes e Histogramme de classe quiprobable Contient les histogrammes calcul s par Moca cf chapitre sur les histogrammes e Histogramme intervalles d finis Contient les histogrammes calcul s par Moca cf chapitre sur les histogrammes e Chronogramme Contient le chronogramme de chaque variable Les temps sont calcul s automatiquement par Moca 6 2 1 2 Onglet Places Il contient les temps de s jour et les marquages moyens pour toutes les places du r seau de Petri Manuel utilisateur 51 70 z TOTAL 6 2 1 3 Onglet Transitions L onglet Transitions contient la f quence de tir de chaque transition ainsi que l historique du tir des transitions pour chaque histoire 6 2 1 4 Onglets suppl mentaires Des onglets suppl mentaires affichent les r sultats de mani re plus brute L onglet XML contient la sortie XML du moteur de calcul c est partir de ce document que les valeurs ont t extraites Ce fichier peut tre r utilis pour un post traitement ult rieur L onglet sortie standard affiche la sortie stand
20. l existant ou pas suivant les donn es Il est aussi possible de sp cifier le nom de la copie en double cliquant sur la case de la colonne document de destination Les noms inscrits dans cette colonne sont naturellement masqu s lorsque la case Utiliser existant est coch e puisque c est la donn e qui est d j dans le document de destination qui sera utilis e Manuel utilisateur 27 1 70 z TOTAL 2 8 2 Copier Coller Renum roter avec Renvoi La commande Copier Coller et Renum roter permet en fait de cr er de nouvelles instances c est dire de nouveaux sous graphes similaires au sous graphe copi e M me structure graphique e M mes lois de probabilit s e M mes gardes et affectations e M mes labels mais places et transitions distinctes de celles copi es Lors de la cr ation d une nouvelle instance il est donc n cessaire de distinguer les places r p t es internes appartiennent sp cifiquement au sous graphe copi des places r p t es externes rattach es une place n appartenant pas au sous graphe copi Seules les places r p t es internes devront tre renum rot es En g n ral dans la pratique les places r p t es externes ne doivent pas changer de num ro Remarque Seuls les renvois des places pr sentes dans la s lection renum roter diff renci es des autres par un double cercle sont effectivement renum rot s Par voie de cons quence les renvois d entr e c
21. les transitions d lai nul loi Dirac avec pour param tre 0 d s lors qu elles sont valides Dans le cas o plusieurs transitions de loi Dirac sont en conflit le tir de ces transitions s effectue en fonction de leur priorit puis dans l ordre chronologique de leur cr ation dans une page puis dans l ordre croissant des pages C est de cette mani re que proc de la simulation lors du lancement des calculs Remarque Les transitions d lai nul d un groupe sont tir es apr s celles de la page o figurent ce m me groupe Manuel utilisateur 49 70 Pour activer ou d sactiver cette fonction il suffit d aller dans Option Simulation JaGrif 4 Predicates Petri Nets Module E Transitions Local data Executables Database Automatic firing Transitions fireable before loop detection Simulation trace Path to trace file Unlimited histogram Display histogram transition Equiprobable classes DA Humber of classes transition 10 Display histogram state pemo O Humber of classes state 10 4 9 2 Respecter l ordre des transitions d terministes 4 10 Transitions de type tir la sollicitation En mode simulation lorsqu on souhaite tirer une transition avec tir la sollicitation le ou les jetons ne doivent se diriger que vers une seule place aval Au moment o l utilisateur clique sur ce type de transition il appara t une fen tre dans laquelle il va devoir entrer la probabilit la main c est
22. mod le 11 suffit de s lectionner l ic ne correspondante dans la barre des t ches puis de faire un clic gauche l endroit du mod le o la variable sera plac e S ouvre alors une fen tre Ea Local data x Add a graphical tool for O anew data an existing variable Definition Initial value O an existing parameter Cette bo te de dialogue propose trois choix Manuel utilisateur 11 70 D TOTAL 1 Cr er une nouvelle donn e envoie l utilisateur vers une fen tre lui permettant de cr er une nouvelle variable ou un nouveau param tre 2 Appliquer une variable existante permet de cr er une repr sentation graphique d une variable 3 Appliquer un param tre existant permet de cr er une repr sentation graphique d un param tre Une fois cr e une variable locale est repr sent e de la mani re suivante Name Domain Current value Parameter Shows that it Is a parameter Un clic droit sur la variable locale permet d acc der ses propri t s Certains champs peuvent ainsi tre modifi s Nom domaine valeurs initiale Local data x Properties Field Walue Domain Float Intern for prototype U e nitial value in prototype Localization Mame Localization Failure Fage 1 Failure Localize data Remarque les champs o figure le terme prototype ne pr sentent un int r t que dans le cas de la cr ation d un prototype cf document an
23. o Definition Initial value 77 Repaitean_ OK 1 RepaiTeam_ DK raise Prodhi sx 100 0 Boolean _ RepairTeam_OK Repair Ets 0 Harme Localization Failure rne 1 Fepair_End Fagel o Manuel utilisateur 23 70 z TOTAL Le petit r seau de Petri ci dessus repr sente le comportement d un quipement r par par une quipe de maintenance qui n est pas forc ment disponible au moment o il tombe en panne Ce r seau comporte trois places e Work en marche place 1 e Failed en panne en attente de r paration place 2 e Repair en r paration place3 Et trois transitions e Failure d faillance de l quipement e Repair_Start l quipement va tre r par e Repair _End l quipement est r par et red marre Voici comment le mod le ci contre peut tre utilis pour simuler le comportement de l quipement r el 1 La place Work contient initialement un jeton et il en r sulte que la transition Failure est la seule transition valide l instant initial 2 Elle sera tir e lorsque le composant tombera en panne d lai tir au hasard selon la loi exponentielle affect e cette transition Cela aura pour effet de retirer le jeton de la place Work et d en mettre un dans la place Failed De plus la variable Production sera mise 0 3 L arriv e du jeton dans la place Failed ne suffisant pas pour valider la transition Repair_Start il faut attendre que la variable le message RepairTeam_OK en ent
24. pratique Manuel utilisateur 13 70 TOTAL Remarque La partie Prototype n est utile que lors de la cr ation de prototypes se r f rer l annexe sur les prototypes TA i Properties Hame Work Humber i Jets Prototype Intern for prototype H Initial value in prototype PM aa This is the Tat part of the system 2 2 2 Param trage des arcs Par d faut le Poids de tous les arcs amont et aval est de 1 Cependant il est possible de le modifier Il suffit pour cela de cliquer sur l arc concern avec le bouton droit de la souris afin de faire appara tre l diteur c1 dessous PI Properties m ooo Un clic sur le petit triangle noir fait appara tre quelques valeurs possibles s lectionnables la souris Pour les arcs avals les poids sont toujours positifs et correspondent au nombre de jetons qui seront ajout s dans la place aval lors du tir de la transition correspondante Pour les arcs amont il faut distinguer trois cas Poids strictement positif il s agit des arcs normaux qui valident la transition lorsque le nombre de jetons dans la place amont est sup rieur ou gal au poids de cet arc Lors du tir de la transition un nombre de jetons gal au poids de l arc sera retir de la place amont correspondante Poids strictement n gatif il s agit des arcs inhibiteurs qui inhibent la transition lorsque le nombre de jeton dans la place amont correspondante d passe la valeur ab
25. repr sent sur la figure ci contre Les places 1 2 et 3 de l original ont t transform es en 4 5 et 6 pour la copie Fepair Emi exp 01 I Pmoduciior Proc 4X RepaiTeam_ OE hue EXP 0 1 Produetion Proci X HAE QE rue l Repair Start loir 0 199 Renairtean OK kue al FepaiTean CE raise Sr E T S 77 Repaiteam_ OK kue U Repaiteam_OK ralse Reparation z Reparation ts 0 FRS N Lors d une copie vers un nouveau document les ventuels conflits de donn es sont g r s dans la fen tre suivante Data conflict x Some data has same name in destination document Please manage conflict in order to paste Use data of destination document O Create a copy for each data in conflict O Manually manage conflict Source document Destination document Use existing Lambdaz Lambda Cette fen tre pr sente l ensemble des donn es qui portent le m me nom dans le document source et le document cible Trois choix sont propos s 1 Utiliser les donn es du document de destination ceci remplacera les occurrences la donn e du document source par la donn e portant le m me nom dans le document de destination 2 Cr er une copie pour toutes les donn es en conflit ceci remplacera les occurrences la donn e du document source par copie portant un nom suffix par copie 3 R gler les conflits manuellement ceci permet de choisir s il faut utiliser
26. signifie seulement que l v nement correspondant est temporairement suspendu exemple la r paration d un composant est arr t e par la nuit gt elle reprendra o elle en tait le lendemain matin Dans ce cas lorsque la transition redevient valide cela signifie seulement que le d lai relatif l v nement suspendu reprend son cours Il faut donc utiliser le d lai qui restait au moment o la transition a t inhib e comme nouveau d lai avant le tir la transition doit garder la m moire de ce d lai r siduel Le choix se fait en cochant ou en ne cochant pas la case Transition m moire pr vue cet effet Manuel utilisateur 15 70 TOTAL Il peut parfois tre utile d effacer la m moire pour cela vous pouvez indiquer une condition de maintient de cette m moire Si cette condition passe faux la m moire est perdue et un nouveau d lai sera recalcul d s que la transition deviendra valide 2 2 3 2 Onglet Tir Properties Humber I Name k Automatic Tri Priority positive for high priority otherwise negative lo F L Prevent multiple triggers at the same time L_ Equiprobable management of conflict Fire on demand Fire on demand 4 Special laws Parameter s La case Priorit permet de donner un niveau de priorit la transition Si un instant donn deux transitions peuvent tre tir es c est celle dont la priorit est la plus lev e qui sera tir e en premier
27. sur le bouton lt pour l ins rer dans le code Le menu d roulant Fonctions donne acc s l ensemble des fonctions utilisables dans Moca cf Manuel Utilisateur Moca Le troisi me menu d roulant affiche la liste des fonctions disponibles dans la dll MocaAdd dil pour plus d information ce sujet reportez vous au manuel utilisateur Mocal2 Il est possible de transformer un param tre en variable ou inversement en faisant un clic droit sur la donn e et en s lectionnant Changer en variable ou Changer en param tre 2 4 Arborescence Filtre Ei MySystem E Fage 1 m Grp1 EJ Sub Grp1 c Grp CI Page 2 CI Page 3 De mani re naviguer facilement dans le document les pages groupes et sous groupes une arborescence est disponible sur la gauche de l application Par d faut tous les l ments sont affich s vous pouvez utiliser le bouton Filtre pour sp cifier les l m nts que vous souhaitez afficher ou non Vous pouvez d velopper ou r duire un noeud de mani re r cursive en faisant un clic droit sur le noeud Comme pour les tableaux de donn es droite il est possible de cacher cette arborescence 2 5 Exemple de r seau de Petri Edit Parameters E3 Fiter Float Lambda 0 000 Float ProdMax 100 0 ALTE ewi Lambda p 1 Prodwetion ss Failed E3 Edit Yariables I ooveton Pro ts i Fenairtednt OK irre Fl m L_ Filter Repar start
28. tre prend alors la valeur de l l ment auquel il est maintenant reli Ea Database x 1 Lhicomp 0060 commenti Remove link to database Cancel Remarque Le bouton en bas de tableau intitul D connecter de la base permet de casser le lien entre le param tre et l l ment de la base de donn es Manuel utilisateur 62 70 TOTAL Si certaines valeurs de la base de donn es laquelle est li GRIF sont modifi es il est possible de faire une mise jour des param tres connect s cette base Pour cela il suffit de faire appara tre la fen tre Base de donn es en allant sur Donn es et calculs Mise jour depuis la base de donn es Unselect all Select all Update selection Mame Walue Linked to Marne in database Mew value Farami 0060 Lh comp fd 1 Lpicomp 0060 0040 Lp2comp d 2i Lp2comp 0 0040 0 Param3 0 0020 Lp3comp d 3 Lp3comp 0 0050 Les param tres dont la valeur n est pas jour sont automatiquement d tect s et marqu s en gras Il est alors possible de s lectionner un ou plusieurs de ces param tres afin de les mettre jour en utilisant le bouton Mettre jour la s lection Deux autres boutons sont disposition pour faciliter la s lection D s lectionner tout permet de d s lectionner tous les param tres du tableau et S lectionner tout permet de s lectionner tous les param tres du tableau Rq Il est aussi possible de copier directement des param tres depuis
29. un titre au fichier r sultat 2 Temps de calcul par d faut e It ration De A B pas C les calculs seront effectu s pour des valeurs de t allant de A B par pas de C e Liste de temps les calculs seront effectu s pour les valeurs de t donn es dans cette liste e Calcul effectu les calculs sont effectu s par d faut juste apr s le tir des transitions mais il est possible de choisir de calculer t Epsilon juste avant le tir ou au deux instants e Unit les calculs sont effectu s par d faut en heures Il est possible de sp cifier l unit dans laquelle ont t saisie les temps de calcul Attention les resultats seront toujours afficher en heures Manuel utilisateur 50 70 3 G n ral e Nombre d histoires Nombre d histoires NH simuler e ler N au hasard Graine du g n rateur de nombres al atoires e Temps de calcul maximum Temps en secondes au bout duquel Moca arr tera de simuler de nouvelles histoires e Dur e automatique de l histoire Si cette case est coch e GRIF va calculer la dur e de l histoire en fonction des temps de calcul de l ensemble des variables et tats statistiques Sinon l utilisateur peut sp cifier la Dur e d une histoire e Calcul multi processeurs Permet d activer le calcul multi processeurs et d indiquer le nombre d instances Moca lanc es e Activate la propagation d incertitude Activation ou non des calculs de propagation des incertitudes simulation double
30. 7 7 9 3 HiSt08 anime de taille Re a ee anse ee site cs 57 7 3 4 Histogramme de classes QUIDOBADI S d en erne Eiun AEE E EEEE 58 7 3 5 Histogramme intervalles d finis 23 448 rrss sine esene seems de dinnesensetesn entends ieine 58 5 Bases de ORNE ne doses das AEAEE it ie st nan it 60 dl Connexion a Un chier de type CON nan eee sen es coche 60 8 1 1 Forme de la base de OBS de etre se serons ot 60 SL 2 COMORES E A E E A E A E T A A E A A 60 8 2 Connexion par un lien JDBC exemple avec connecteur ODBC sssssssssssssseesssrrssssressereesssressee 61 6 2 1 Forme de Ia Dase de donnees een se ent eine nantes eee ie a ten 61 CO OR a E E E E E 61 Si CSA OR 62 D Ere ya E A E E E E EE 64 Dde MO e E E A A 64 POS A E EE A ATE AE TE EATE EE E T ATT 64 o Da e a E a E 65 DR LE VS E R O EST 65 CODES 65 To ELEC L OR RE RE a a e a a a a a a a 66 10 Options de GRIF R seaux de Petri pr dicats eosesoesoesoesossesosscesossossessesossossossseseessessese 67 OR e E E N S 67 R a E E D E A E EE E A A EENE EE T ee 67 W Ga E E E 67 E OO a ee dd de ed ee oo octo 67 L O PR Gr LES EEE 68 OO PORC AMOR ae ee De a a ad ee dd 0 68 OR EIEEE AIE ESA ACETAT AETA EAE ESET AEAEE A TEE A ET 68 Wo TE OS E E 68 OR E 69 LOTO Doni oe LOC al eesis e e a ee E 69 OL aO ore 69 ETAO E D E 70 LORS COS 70 Manuel utilisateur 3 70 1 Pr sentation de l interface 1 1 Fen tre principale du module R seaux de Petri pr dicats
31. La fen tre principale est d compos e en plusieurs parties e Barre de titre La barre de titre indique le nom du module et le nom du fichier en cours d dition e Barre de menu La barre de menu permet d acc der toutes les fonctions de l application e Barre d ic nes raccourcis La barre de raccourcis est une barre horizontale d ic nes permettant d acc der plus rapidement aux fonctions usuelles e Barre d outils La barre d outils verticale permet de s lectionner les l ments pour mod liser e Zone de saisie Un maximum de place a t laiss e la zone de saisie graphique pour permettre de r aliser le mod le e Arborescence L arborescence est cach e dans les pages et groupes du document entre la zone de saisie et la barre d outil Elle permet de naviguer 2 N e Ensemble des tableaux Les tableaux sont regroup s dans des onglets cach s droite de la zone de saisie x JaGrif 4 Predicates Petri Nets Module PPetril jpp File Edit Tools Document PetriNets Data and Computations Mode Group Help vla x i Norma Hislsislals aje nlx mlelalel 2 Eje T a FE nl E e f Q O E E Petri net inpui 651 437 Q ToTAL 1 2 Pr sentation des menus 1 Le menu Fichier contient les commandes classiques ouvrir fermer enregistrer imprimer etc Il est possible d acc der aux propri t s nom date de cr ation cr ateur description version
32. Manuel utilisateur 5 70 D TOTAL La barre d ic nes plac e juste en dessous des menus propose des raccourcis pour la plupart des commandes de Outils X3 New Page Page manager Move to page Fr Refresh E Align left Align center Bring forward Align right Send backward IE Align top i View toolsBar 6 Align middle Display state bar p Align bottom Document options Application options Connect to a CSY file A Straighten arcs 4 Le menu Document permet d acc der tous les documents en cours de modification ou de r alisation Document F C BusinessJaGrif 4 06 1Petri12 PPetril jpp 5 Le menu R seaux de Petri contient toutes les commandes n cessaires la r alisation de la partie graphique du mod le en cours La barre d ic nes verticale plac e gauche de l application propose des raccourcis pour chacune des commandes de R seaux de Petri cf Barre d outils verticale Petri Hets H Select Li Places I Transitions I Arcs only one I Arcs many Li Repeated place Li Comment I Enmamic display lI Charts Li Simulation Manuel utilisateur 6 70 D TOTAL 6 Le menu Donn es et Calculs est divis en deux parties la gestion des donn es cr ation et gestion des diff rents param tres et le param trage lancement des calculs dur e de calcul calcul recherch s Data and Computations Edit Tabs Edit Places Edit Variables Edit Parame
33. a TOTAL GRIF 2012 R seaux de Petri pr dicats Manuel utilisateur Version 27 Mars 2012 Copyright 2012 Total Table des mati res L Presentation de TinteriaCe Sans nes sceau tes sante scene ci cons cs dan ct tee eni ei q 1 1 Fen tre principale du module R seaux de Petri pr dicats onnnnsnnnnssnnnsssseesssressssresssressseres 4 122 PES Sade OS a A E T A 4 ESS BAS d on ls SACS a D n E ee Ga de RO de coin 8 2 CTCAHON d UN rescat de P TER ne se seen tie no na so Delais seche ds hen eh boss its 9 2 a E E O OE 9 2 LS SIC CES DAS e a a on de de ed ti 9 212 SSI CES ASS a a ea De 0 a de a 0 de oo 9 2 135 1616 COS AS OS CAS ne es ed tt to nn che 10 AR Salse DES RS a 11 AS SAINS ES CODEN Tne da ee nee nd ce dde Geo ali E Geo tie ec 12 2 PATES doS CIMENT ed EE D do ie 13 2 2 1 PARITH LANC E T ah a ae D be ee l 13 D PAC OS OS ce 14 2 22 PArINEHASC dos ARSITOMS En ee a dd des ta sent ones Gta dde cite a Does 14 2 3 Tableaux dition des donnes 28 2 toe ca ns dde etes studios sein as inertie 19 2 PE SSnAUOR COS TADIO AR ne a de en nn ne cie 19 2 2 AOC SIDE des ADI EE EEO 21 2 INEHOV OU dor aD aO A a nn es i Ea 21 2 3 CLCATOR GES COMM SS ea dns donation da ie 22 D AR DOR CES ea dt D ee dt Das a ed 23 2 9 Pompe der seat de PERS ee ae ie 23 2 0 U isanon d s renvois Sur les DCS ae eine me eos da aineina ane 24 2 7 Gestion des pages et des groupes 82e andere orice sr cede rc nrs nee diet cotes t
34. a barre d outils verticale comporte les l ments suivants e Places repr sent es par des cercles e Transitions repr sent es par des rectangles e Arcs amont et aval repr sent s par des fl ches e Place r p t e ou Renvoi pour r aliser des liaisons entre plusieurs parties du m me mod le sur des pages ou dans des groupes diff rents e Commentaire pour ajouter du texte directement sur le graphique e Affichage dynamique pour afficher une valeur d un l ment du mod le e Variables locales pour cr er des variables li es uniquement une partie du mod le e Courbe pour tracer des courbes repr sentant des calculs sur le mod le e Simulation permet de passer en mode simulation Manuel utilisateur 8 70 2 Cr ation d un r seau de Petri 2 1 Saisie du r seau 2 1 1 Saisie des places Pour saisir les diff rentes Places il suffit de s lectionner le symbole correspondant sur la barre des symboles Ensuite chaque clic de la souris sur la surface de saisie graphique un nouvel l ment est cr Chacune des places du mod le est caract ris e par trois param tres 1 Un num ro Situ s au centre des places ils sont incr ment s automatiquement Ces num ros sont les vrais identifiants des places qui seront utilis s par le moteur de calcul C est pour cette raison que deux places ne peuvent pas avoir un num ro identique 2 Un label Un label par d faut est attribu chaque place Ph pour la p
35. alse 0 and true 1 Specific Times Times or list of times separator D terate From CE To 000 OOO O Step ho Computation made at t after triggering transition Manuel utilisateur 46 70 z TOTAL La fen tre d dition des variables observ es tats statistiques est compos e de de deux onglets Le premier est d di au calculs effectu s le deuxi me aux histogrammes Ces deux onglets permettent donc de configurer les Types de statistiques par d faut les Temps de calculs par d faut et les Histogrammes 5 2 1 Types de statistiques Les types de statistiques qui peuvent tre calcul s sont les suivants e 1 Temps cumul pendant lequel la valeur est non nulle C est le temps moyen durant lequel l tat statistique est diff rent de 0 sur une histoire Utilit Permet surtout de faire des calculs de disponibilit moyenne sur la dur e de l histoire e 2 Probabilit d avoir une valeur non nulle t C est la probabilit que l tat statistique soit diff rent de 0 la fin de l histoire Utilit Permet entre autres de faire des calculs de disponibilit moyenne en fin d histoire ou des calculs de fiabilit on regarde si l tat de panne tat absorbant est pr sent en fin d histoire e 3 Valeur t C est la valeur moyenne de l tat statistique la fin de l histoire Utilit Ce type de calculs peut permettre le d nombrement des occurrences d v nements particuliers au
36. ammes des transitions 10 12 Prototypes L onglet prototypes regroupe les options concernant les prototypes e V rifier la compatibilit avec le module Bloc Diagramme Stochastique V rifie la compatibilit des prototypes g n r s avec le module Bloc Stochastique e Chemin du r pertoire de la biblioth que des prototypes R pertoire o sont sauvegard s les prototypes de la biblioth que Petri12 10 13 Courbes L onglet Courbes permet de modifier la mani re de tracer les courbes e Encadrer le graphique Permet d encadrer le graphique e Encadrer les grandeurs g n riques Permet d encadrer les donn es g n riques situ es sous les courbes e Afficher la grille Permet de tracer un quadrillage sur la zone de tracer de courbes e Afficher les l gendes Permet d afficher ou non la l gende sous les courbes e Transparence de la zone de trac Permet de rendre transparent la zone o les courbes sont trac es e Transparence du graphique Permet de rendre transparent la zone du graphique autour de la zone de tracer e Taille du titre Permet de sp cifier la taille de la police du titre du graphique e Taille des grandeurs g n riques Permet de sp cifier la taille de la police des donn es g n riques e Taille des points Permet de sp cifier la taille des points dessin s sur les courbes e Taille des coordonn es Permet de sp cifier la taille de la police des coordonn es e Taille des l gendes Perme
37. angement de langue est effectif lors de la fermeture de la fen tre d option Les langues disponibles sont le Fran ais et l Anglais 10 4 Options L onglet Options regroupe les options modifiant le comportement de l application e Enregistrer les options du document courant comme options par d faut dans l application Enregistre les options du document courant comme les options par d faut de l application Manuel utilisateur 67 70 z TOTAL L application g re les options par d faut des documents Appliquer les options par d faut au document courant Applique les options options d application au document courant Nombre maximum d annulations Indique le nombre d annuler refaire disponible Nombre de fichiers r cents Indique le nombre de fichier dans la liste des fichiers r cemment ouverts Affichage des fen tres Permet d avoir des tableaux ind pendants externes ou non internes de la fen tre principale Colonnes redimensionn es dans les tableaux Permet de choisir sur quelle s colonne s sera pris l espace lors d un redimensionnement de colonne Utilisation d une cl de protection de type r seau Rouge Cocher cette case si et seulement si une clef HASP de type r seau rouge est utilis e G rer les nouveaux noms en vitant les doublons Permet d viter les conflits de nom en cr ant des objets dont le nom est unique lors des copier coller principalement Synchroniser la vue avec les tableaux Provo
38. ans un rapport En effet il suffit de s lectionner sous GRIF la partie ins rer de la copier puis de la coller directement sous WORD Manuel utilisateur 64 70 D ToTaL 9 3 Donn es d entr e Au moment o les donn es d entr e pour le moteur de calcul sont g n r es il est possible de les sauvegarder Ce type de fichier a pour extension don Ils peuvent tre ainsi modifi s l aide d un diteur de texte puis recharg s pour lancer des calculs dessus par exemple Toutefois ce genre de manipulation n est pas conseill des utilisateurs novices 9 4 R sultats Les r sultats peuvent galement tre sauvegard s pour tre r utilis s dans un tableur 9 5 Courbes Pour chaque courbe qui est trac e 1l est possible de sauvegarder les points qui ont t calcul s au format CSV Cette liste de points peut ensuite servir pour tracer de nouvelles courbes ou pour faire des calculs suppl mentaires Manuel utilisateur Charts title Graph q Datas List Recompute Be LA a 4 KE Cure illustrations Informations about datas Cure 1 Stati T52 from to 1 0000 step 100 Cuve Stata TS2 from O to 10000 step 100 Compute options Humber of stories 10000 Style swepe messe 7 syeoreunercuvers paer gt opone 7 Sweorcune cuve paer 7 opone 7 Automatic interval Interval on X begin end Interval on Y begin end Display options Display title Display generic
39. ard du processus Moca disponible seulement apr s le calcul L onglet info regroupe les informations relatives au calcul temps de simulation dur e d histoire nombre d histoires jou es Manuel utilisateur 52 70 7 Courbes Afin de mieux tudier le mod le et les r sultats il est possible de tracer des courbes Pour cela il suffit de faire un clic gauche sur l ic ne correspondante de la barre des t ches verticale puis de tracer un cadre Ce cadre sera l espace allou l affichage de la ou les courbes Au d part ce n est qu un cadre blanc avec deux axes non gradu s Ic ne Graphique Il faut maintenant d finir les courbes tracer Pour cela il suffit de faire un clic droit sur le cadre et faire ainsi appara tre la fen tre d dition des courbes 7 1 Fen tre d dition des courbes Note Il est important de pr ciser que le trac de courbes n cessite le lancement d un calcul compl tement ind pendant de celui accessible dans le menu Donn e et calculs La fen tre d dition des courbes est la m me pour tous les modules de GRIF Charts Edit Ea Charts title Charts Data List Recompute s LA X z E Cure le nformati An Color Style r harti P EELE Black Mo point Style swewe mesme Automatic interval interval on X begin end Log interval on Y begin end Log Display options Display title Display generic values Cette fen tre est divis e en plusieur
40. bcOdbeDriver Connection to database jdbc odbc REX Connection options Login Password SOL Request i IO MOM VALEUR DESCRIPTION FROM Feuil Jl Hame of ID field IC Type of ID DOUBLE O Hame of name field FC Hame of value field VALEUR Hame of description field DESCRIPTION Test Connection Remarques 1 sun jdbc odbc JdbcOdbcDriver est le nom du driver 2 jdbc odbc REX pr cise que REX est le nom du lien ODBC 3 Les champs Connexion la base Login et Mot de passe sont inutiles ici 4 SELECT ID NOM VALEUR DESCRIPTION FROM Feuil1 est appel la requ te o Feuill est le nom de la feuille EXCEL sur laquelle sont les donn es Manuel utilisateur 61 70 TOTAL 8 3 Utilisation L objectif est maintenant de relier certains param tres du mod le la base de donn es Pour cela 1l faut commencer par faire afficher la colonne Connect au niveau du tableau des param tres faire un clic droit sur la partie haute des colonnes k z Columns manager x Select columns that have to be displayed and their order Linked to intern for prototype L_ Initial value in prototype Desactivate data sorting fastest Il suffit ensuite de faire un double clic dans la colonne Connect pour voir appara tre les l ments de la base de donn es Une fois qu un des ces l ments a t s lectionn 1l faut cliquer sur OK pour valider la connexion Le param
41. ble locale Manuel utilisateur 28 70 Variables 0 LOC T si Ponpe E Find Replace Ma N Productio AE Repair Cri ET exp OT Le l 0 Find Regular expression Replace by Replace all f 41aGrif 4 Predicates Petri Nets Module La figure ci dessus montre que le nom attribu par d faut la copie de la variable locale est nom d origine Copie Ce nom pas forc ment bien adapt peut tre modifi Une fois la copie r alis e c est une nouvelle variable locale qui est cr e Eventuellement si la d finition de la variable locale d origine est li e au r seau associ inclue dans la copie alors la d finition de la copie de la variable locale restera la m me par rapport la copie du r seau pes P BN Pe Repair Ema xp 1 Poguction Pool Ets Fendi start QT SE Reparation ts i I Pmguckon 0 EXP Lambaa I Pooucihion 0 a Production Frod x i Reparation me La figure ci dessus montre bien qu une nouvelle variable locale a t cr e Elle se nomme Dispo_B Dispo_A tant gale au nombre de jetons pr sents dans la place n 1 Dispo_B est bien gale au nombre de jetons dans la place n 4 Manuel utilisateur D TOTAL Remarque L avantage principal des variables locales est celui de pouvoir effectuer des op rations de Copier Coller et Renum roter comme celle d crite ci dessus 2 8 4 Copier Co
42. cours d une histoire e 4 Nombre de passages d une valeur nulle une valeur non nulle entre 0 et t C est le nombre moyen de fois sur une histoire que l tat statistique est pass d une valeur nulle une valeur non nulle Utilit Ce type de calculs peut permettre le d nombrement des occurrences d v nements particuliers au cours d une histoire e 5 Valeur moyenne entre de 0 et t C est la valeur moyenne de l tat statistique sur la dur e de l histoire Utilit Permet de faire entre autres des calculs de disponibilit de production e 6 Date de premi re affectation une valeur non nulle C est l instant moyen partir duquel la valeur de l tat statistique passe de 0 une valeur diff rente de 0 Remarque Le champ donn es non censur es donne le nombre d histoires pour lesquelles la simulation a pu r cup rer une valeur Pour que ce r sultat statistique moyen ait un sens il faut bien v rifier qu une valeur ai t r cup r e pour chaque histoire donn es non censur es nombre d histoires simul es Utilit Permet d obtenir des renseignements sur l instant moyen o un syst me tombe en panne pour la premi re fois calculs de fiabilit valuation du temps moyen de bon fonctionnement e _Chronogramme Trace la valeur instantann e de la variable comme 3 mais calcul automatiquement les points utiles sans tenir compte des temps sp cifi s 5 2 2 Temps de calculs Les temps de calc
43. ctu le filtre 2 la deuxi me est le comparateur 3 la troisi me est la valeur laquelle la donn e sera compar e S1 l expression bool enne est vraie la donn e sera gard e affich e sinon la donn e sera masqu e Lorsque le filtre est activ sa valeur est affich e entre lt et gt Il est possible de double cliquer sur l en t te de chaque colonne pour trier les donn es suivant cette colonne Un premier double clic triera les donn es dans l ordre croissant petit triangle vers le haut Le deuxi me double clic sur le m me en t te triera dans l ordre d croissant petit triangle vers le bas Un tableau peut tre compos de nombreuses colonnes il est possible que des colonnes soient inutiles dans certains cas La colonne reli e la base est inutile lorsqu aucune base de donn es n est disponible Il est donc possible de choisir les colonnes qui seront affich es ainsi que leur ordre Pour cela 1l suffit de faire un clic droit sur un en t te du tableau ou de cliquer sur le bouton Gestionnaire de Colonnes la fen tre suivante s ouvre Gestionnaire des colonnes Selection les colonnes afficher et leur ordre Derni re base L D sactiver le tri des donn es plus rapide Il est possible de choisir les colonnes afficher en cochant ou d cochant les cases correspondantes Les fl ches situ es droite permettent de monter et descendre les colonnes dans la liste de mani re choisir l ordre
44. d effet que sur la partie s lectionn e Tout ce qui est hors de la s lection restera inchang PI JaGrif 4 Predicates Petri Nets Module Variables Places Transitions Parameters Interr Fresent name Futur name Lambdai Lambdai l Lambda2 Lambda Find Replace Find Lambda Regular expression Replace by Lha Replace all Sur l exemple ci dessus seul le param tre Lambda2 va changer de nom au sens de la fonction Modification de la s lection car il est interne la s lection Un nouveau param tre nomm Def2 de valeur identique va tre cr et va remplacer Lambda2 au sein du mod le L autre param tre qui n est pas interne restera inchang 2 8 7 Propri t s du document Gestion des images Le menu Fichier Propri t s du document permet de m moriser un certain nombre d informations concernant le document nom version commentaire Ces informations sont accessibles dans l onglet G n ral Document properties File C Users ciolleauworks pace GRIF Sun BF ab BlocFiatz jod Name System X1E4 Version 13 PID V123R4 Author cfolleau Date 152011 Les images sont tr s utiles pour repr senter les sous syst mes GRIF 2012 permet aussi de m moriser un ensemble d images qui pourront tre utilis es plus tard dans l application groupes prototypes La gestion des images s effectue dans l onglet Images Manuel utilisateur 31 70 pe power sup
45. d indiquer s il veut enregistrer la vue courante la page courante ou la totalit du document Manuel utilisateur 36 70 4 Simulation interactive 4 1 Introduction Une des caract ristiques les plus importantes de l interface GRIF est qu elle permet de simuler la main le comportement du r seau qu on vient de saisir Il est ainsi plus facile de comprendre de d bugger ou d expliquer un mod le Une fois la simulation lanc e il est possible de tirer des transitions afin de comprendre comment r agit le mod le de revenir en arri re de rejouer une s quence d v nement donn de visualiser tout instant le marquage de chaque place ou la valeur de chaque variable Pendant une simulation les transitions actives a un moment donn sont affich es dans des couleurs sp cifiques en fonction du type de transition La simulation affiche SU GRIF Predicates Petri Neta Module Example1 jpp File Edit Tools Document PetriMNets Data and Computations Simulation Mode Group Help 7 al Normal B TIR RE ll b t am Q Pj M ren determinist fine PT on ain LE HAL TER Es transition bn parer es Tps Start simulation Simulation tab Statistic States Transitions Show simulation Places T Variables _ Farameiers Tables Al Cl TI ES D Transitions 1Failur _B 1 2 Repar Start 3 Failur A f Historical view A Dalay Transitions E iing Time ORepa
46. donn es Dans chaque module de GRIF il est possible d tablir une connexion une base de donn es Il y a la possibilit de faire deux connexions de type diff rent e connexion un fichier de type CSV e connexion par un lien JDBC 8 1 Connexion un fichier de type CSV 8 1 1 Forme de la base de donn es Ce type de connexion est le plus simple r aliser Un fichier de type CSV a pour extension csv C est un simple fichier texte o les diff rents champs sont s par s pas des virgules des tabulations ou des points virgules C est la forme la plus simple que peut avoir une base de donn es ID NOM VALEUR DESCRIPTION 1 Lpicomp 0 006 comment i Lp2comp 0 004 corment z Lp3comp 0 002 corimentsz Lp icomp 0 001 comment 4 Hs i D 8 1 2 Connexion Pour connecter GRIF cette base de donn es il suffit d aller dans le menu Outils Connexion un fichier CSV Une bo te de dialogue appara t alors Database Ea CSU file to be used as database 4 07 2Petit AitoolsDatabaseuexes Test Hame of ID field Ci Hame of name field Cu Hame of value field VALEUR Hame of description field JDESCRIPTION Separator Os tab Cette fen tre est divis e en trois parties e Dans un premier temps il faut enter le chemin menant au fichier CSV Pour cela un explorer est disposition bouton Une fonction Test permet de v rifier la connexion e Ensuite il fa
47. e ce que vous souhaiter afficher quel moment Nous pouvons donc interpret la premi re ligne de l image ci dessous comme Je cherche un resultats dans la banque default Moca pour la cible stat3 de la variable available je souhaite afficher la value au dernier temps Si last avait t remplac par time 10 on aurait obtenue la valeur t 10 Lorsque les premi res lettres un syst me de completion aide saisir le script sans erreur 1l ouvre m me une fen tre pour s lectionner la cible 7 Commentaire result bank default Moca target variable STAT TYPES availability value last Oo ow e e Manuel utilisateur 40 70 4 6 Historique de la simulation z TOTAL Concernant l exemple tant donn que la variable bool enne RepairTeam_OK vaut initialement TRUE la transition Repair_Start du composant d faillant celui de gauche sera valide Pour ce qui est de l autre composant sa transition de d faillance Failure restera valide Prodh s 2 kirt A aop Toks Faire exp Lambda I Production A Repair Em A exp 0 4 Paieg Production A Pooh A Toks Fenairreant_ DK de Fenair_ Start 4 or l 77 renarrednt OK Reparation Toks Production _A O0 Repa 4 7 Arr ter la simulation Il RepaiTeam_ OK ralse Prodh s TRE exp 0 1 Production 8 PodM4X B Fenairreant_ DK de Production _B 100 0 Production A HP S k
48. ents la deuxi me indique leur localisation dans le document page groupe Un clic sur une ligne de ce tableau inf rieur ouvrira la page o est situ l l ment et le s lectionnera 2 3 2 Accessibilit des tableaux Comme indiqu pr c demment les tableaux sont accessibles par le menu Donn es et Calculs dans ce cas chaque tableau est affich dans une fen tre ind pendante Pour viter de multiplier les fen tres ouvertes tous les tableaux ont t rassembl s dans des onglets dans la partie droite de l application Cette partie est r tractable l aide des petites fl ches en haut de la s paration avec la zone de saisie Biel E Aide Edition des Param tres E B Y m E xX _ Filter Valeur Conn Dime Derni 1 5E 4 Autre 4 0E 4 Autre 0 0114 Autre Nom __ Localisation 5 177 D TOTAL Il est possible de choisir les tableaux pr sents dans cette zone en faisant un clic droit sur les onglets 2 3 3 Nettoyage des tableaux Des donn es peuvent ne plus tre utilis es et 1l est parfois n cessaire de supprimer toutes les donn es inutilis es Pour cela utilisez le menu Donn es et Calculs Supprimer les donn es inutilis e Manuel utilisateur 21 70 Suppression des donn es inutilis es x Les l ments suivants ne sont pas utilis s dans le mod le Param tres Lambdai Lambda Miu
49. era gr ce un diteur de code 2 2 3 8 Rechercher remplacer sur les gardes et les affectations Une fois le param trage des transitions effectu il est possible de lancer une fonction Rechercher Remplacer sur les gardes et les affectations des transitions Cette fonctionnalit est disponible dans le tableau des transitions onglet Edition des transitions situ dans la partie droite de l application Pour rechercher et remplacer une chaine de caract res dans les gardes et les affectations d une ou plusieurs transitions 1l suffit de s lectionner la ou Manuel utilisateur 18 70 TOTAL les transitions modifier de faire un clic droit de s lectionner le menu Rechercher Remplacer et de remplir la fen tre suivante Find Replace guards and assignments x Find what Replace with ECM NT e Rechercher chaine de caract res remplacer e Remplacer par chaine de caract res de remplacement 2 3 Tableaux d dition des donn es 2 3 1 Pr sentation des tableaux Pour cr er ou modifier des donn es un ou plusieurs tableaux suivant le module sont disponibles dans le menu Donn es et Calculs Tous les tableaux de donn es de GRIF 2012 fonctionnent de la m me mani re Edition des Param tres Mea E oTa ka Mari Valeur Lambdal 1 5E 4 Lambdaz 4 0E 4 Mu oon CET Morn Localisation Les tableaux panneaux d dition de donn es sont compos s de 3 parties e La partie sup rieure co
50. es 4 5 Champs dynamiques Il peut s av rer int ressant d afficher sur le mod le la valeur d un param tre ou de tout autre information dont la valeur peut tre modifi e De la m me mani re il est parfois utile d afficher le resultat d un calcul cot du syst me Manuel utilisateur 39 70 TOTAL auquel il correspond Pour cela 1l suffit d utiliser des champs dynamiques en s lectionnant l ic ne correspondante dans la barre d outils verticale Les champs dynamiques sont en quelque sorte des commentaires am lior s En effet non seulement ils permettent de saisir des mots ou des phrases mais il est galement possible d ins rer des valeurs du mod le ou des r sultats T Commentaire 4data parameter name Lambda value S1 vous souhaiter acceder une information sur une donn e de votre mod le la syntaxe est la suivante data type de donn e champ servant la recherche de la donn e valeur que doit verifier le champ information que l on souhaite afficher Nous pouvons donc interpr ter la premi re ligne de l image ci dessus comme Je cherche un parameter dont le name est lambda et je souhaite afficher sa value Lorsque les premi res lettres sont saisies un syst me de completion aide saisir le script sans erreur S1 vous souhaiter acc der un r sultat dans la banque de r sultats la syntaxe est la suivante result bank chemin du calcul dans la banque target resultat cibl
51. et de les modifier par les Propri t s du document La fonction Statistiques du document permet d avoir un certain nombre d informations sur la taille du mod le nombre de pages nombre de groupes etc Il y a galement la possibilit d acc der un certain nombre param trable de fichiers derni rement modifi s Manuel utilisateur 4 70 D TOTAL La barre d ic nes plac e juste en dessous des menus propose des raccourcis pour la plupart des commandes de Fichier File Ci New Open Open Petri10 file Save Save as als Close Ctrl F4 Save as prototype Save modification made on prototype Cti Maj 5 Prototypes Library E Page layout Print Save in RTF file Statistics of document Document properties l 2 Le menu Edition contient toutes les commandes n cessaires l dition du mod le en cours de saisie graphique La barre d ic nes plac e juste en dessous des menus propose des raccourcis pour la plupart des commandes de Edition EU Undo Ctrl Z Redo CtrikMaj Z Ctrl C Ctri X Paste Ctrl ff Paste and renumber Ctrl F IN Remove Supprimer Renumber places Find Remplace Cverall change Selection change Reverse arcs Select all Ctrl Properties Alt Entr e 3 Le menu Outils contient toutes les commandes n cessaires la gestion du mod le en cours gestion des pages alignements options
52. gros mod les le d coupage d crit ci dessus est tr s utile Manuel utilisateur 25 70 z TOTAL Une autre possibilit pour saisir un R seaux de Petri est de mettre en uvre la notion de Groupe Cela est rendu possible gr ce aux renvois et au fait que les donn es soient globales pour le document cela permet de cr er des sous parties bien s par es 1 S lectionner une sous partie 2 Utiliser le menu Groupe Grouper Une bo te de dialogue s ouvre alors et demande le nom donner au groupe en cours de cr ation 3 Entrer le nom d sir et cliquer sur OK par exemple System 1 Le groupe est cr le sous R seaux de Petri est remplac par un rectangle affect du nom choisi Il est egalement possible de cr er directement un groupe vide avec le menu Groupe Nouveau Groupe ou l outil groupe dans la barre d outils gauche F nr l I l x Faire l Group qa lex anoda I R q Production 0 _ _ _ Ro _ Entr e 2 Group name Pig System 1 ue ts 1 ral Chaque groupe peut ensuite tre dit renomm ou dissoci gr ce aux commandes contenues dans le menu Groupe Le groupe peut aussi tre dit avec un clic droit ou avec la fl che vers le bas situ e gauche du gestionnaire de pages En mode Edition le sous mod le peut alors tre modifi la convenance de l utilisateur Lorsque la modification est termin e on revie
53. intervalles r guliers 1 toutes les 1 000 heures Manuel utilisateur 56 70 7 3 2 Chronogramme Curve 1 Curve 1 Min 1 6E 2 Max 9 057E 1 Mean 2 10198E 1 Cette courbe repr sente l volution de la disponibilit instantan e du composant A au cours du temps marquage de la place n 1 Les points ont t calcul s ici en fonction de la variation de la courbe Cela permet de mieux capturer les discontinuit s et d avoir ainsi une allure de courbe plus lisse et plus exacte 7 3 3 Histogramme de taille fixe Curve 1 Min 0 0 Max 2869 0 Mean 09091E2 Cet histogramme a t r alis partir de la valeur moyenne de la disponibilit du composant B marquage de la place n 5 Les 10 000 r sultats issus des 10 000 histoires simul es ont t rang s dans 10 classes de m me intervalle Manuel utilisateur 57 70 7 3 4 Histogramme de classes quiprobables S GIE CC Min 0 0 Max 6 0 Mean 3 0 Cet histogramme a t r alis partir de la valeur moyenne de la disponibilit du composant B marquage de la place n 5 Cinq classes quiprobables ont t demand es La probabilit que la disponibilit moyenne du composant B se trouve dans l une de ces classes est exactement identique 7 3 5 Histogramme intervalles d finis Les 10 000 r sultats issus des 10 000 histoires simul es ont t rang s dans les intervalles d finis Ici nous avons d finis les intervalles 0 1 2 3 quivalent
54. ir_Start_A 131 864 159 578 F ailure 8 590 442 Scheduler view Current time 131 864 Curren cycle T Une fois la simulation lanc e il est possible de tirer des transitions afin de comprendre comment r agit le mod le de revenir en arri re de rejouer une s quence d v nement donn de visualiser tout instant le marquage de chaque place ou la valeur de chaque variable Il y a de nombreuses mani res de d marrer une simulation e utiliser le menu Mode Simulation e cliquer sur l ic ne correspondante de la barre d outils verticale Manuel utilisateur 37 1 70 z TOTAL e cliquer sur l ic ne correspondante de la barre d outils verticale Une fois le mode simulation d marr les transitions valides dans l tat initial du r seau de Petri apparaissent imm diatement Sur la figure ci dessus deux transitions sont valides dans l tat initial Elles correspondent respectivement la d faillance de l quipement de droite et la d faillance de l quipement de gauche En effet les deux transitions appel es Failure sont valides car il y a un jeton dans chacune de leur place amont respective Work Cette simulation est bien celle attendue l instant initial quand le syst me est parfait la seule chose qui puisse arriver est qu un des deux composants tombe en panne 4 2 Code couleur L gende Concernant l exemple tant donn que la variable bool enne RepairTeam_OK vaut initialement TRUE la
55. iser un Pas constant ou un Ajout d une valeur constante aux num ros actuels e Cliquer sur OK pour revenir au graphique Les modifications sont valid es Remarque Les changements de nom et les renum rotations peuvent se faire ventuellement la main en prenant les pr cautions qui s imposent viter les doublons Il suffit de cliquer dans la colonne Num ro futur ou Nom futur et de saisir le changement sans oublier de le valider l aide de la touche ENTREE PI JaGrif 4 Predicates Petri Nets Module Variables Transitions Fresent name Futur name Froduction Froduction Proc Prod Find Replace Find _ Regular expression Replace by 2 8 6 Modification de la s lection La fonction Modification de la s lection est l quivalent d une Modification globale mais appliqu e seulement aux l ments s lectionn s La seule diff rence est qu il faudra distinguer les variables param tres internes et externes e Variable param tre interne qui est uniquement utilis au sein de la s lection e Variable param tre externe qui est utilis au sein de la s lection mais galement autre part dans le mod le Manuel utilisateur 30 70 TOTAL Seuls les l ments internes pourront changer de nom En effet si une variable ou un param tre est reconnu comme externe il faudra dans un premier temps cocher la case de la colonne Interne pour pouvoir la modifier La modification n aura alors
56. it au paragraphe pr c dent Les messages ont t remplac s par la place Repair_Team Les renvois constituent un simple artifice graphique permettant de ne pas surcharger le dessin Vis vis du r seau repr sentant le comportement de l quipement la place R parateur n est qu une place auxiliaire Le fait qu elle soit repr sent e par un renvoi permet de bien faire ressortir ce qui est intrins que l quipement squelette du r seau de Petri de ce qui lui est ext rieur 2 7 Gestion des pages et des groupes L utilisation des renvois nous a permis d obtenir deux sous R seaux de Petri n ayant plus aucun lien graphique entre eux Ils communiquent uniquement par le biais des renvois Cela peut tre mis profit par exemple pour mettre chaque sous partie sur une page diff rente 1 Cr er une nouvelle page en cliquant sur l ic ne correspondante de la barre d ic ne ou bien utiliser le menu Outils Nouvelle Page Une page num ro 2 est ainsi cr e 2 Revenir sur la page 1 en s lectionnant la page l aide du s lectionneur de page de la barre de commandes id ographiques ou bien utiliser le menu Outils Gestionnaire de pages 3 S lectionner la partie d placer 4 Ouvrir le menu Outils Changement de page 5 S lectionner la page 2 et faire OK La partie s lectionn e se trouve transf r e sur la page 2 mais elle continue communiquer avec la page 1 gr ce aux renvois Remarque Dans le cas de
57. itane 25 20 2 ASE SAS dd On dE D 26 2 8 1 Copier Coller Renum roter sans Renvoi RS 26 2 6 2 Copier Coller Renum roter avec RENVOI 2 nest tres tiiose tie der see oeette 28 2 8 3 Copier Coller Renum roter avec variable locale nnsonnnssnnnssssessssresssressssresseressssres 28 2 06 CODICP CODE PONS ne tee ed ee cote 30 2 0 NO CO OA ERRE A RRE 30 2 8 0 Modihcaton de SECOURS a se en 0 a ci 30 2 8 7 Propri t s du document Gestion des images ossseessssessssresssresssoresseressssresssreesseeeeseo 31 2 000 AT an edit do he ea On Be ed cc 32 20 SCICCUOR AUDI a 2e 33 2 BU Seeon de parie CORRE a de ea tee en de eo 33 2 A RE LEO EE 62 SP EE 33 e R E E 0 ee 33 2 8 13 Glue Association graphique ess eh esse dans tes shsscis eos elas eee deseseec tentait rassure 34 PA A LE PL LA I a S E 34 DOS POIDS a 34 SD SOUL T E A T E A E EE A E A E E A E 35 4 Simulation In eraci VE 55e nini EE ait 37 Aek TOO aea E E E EE E 37 4 2 Code Couleur lL SENAS ee EA E EEEE icone 38 AS CE CES ASS a ER EEr 38 44 Simulation en presence de SOUDE 22 ee endocriniens 39 45 Champs AIS D ee ERE 39 24 6 Historique de la simulation ne innn Ea scies tu e toto scies tienne 41 Te AHSA SIA ON ae de ee ed Oh li dites 41 46 Ch ancier de Su sen erne r EEE 42 4 9 Transitions C l TEIMISLES eee eee ia es ern nine ae erie 42 4 9 1 Tir automatique des transitions instantann s d lai nul
58. l optionnel suivant les modules 4 Style Cette partie concerne l affichage des courbes Type de style sp cification du type de toutes les courbes du graphique ligne ou histogramme Attention dans le cas du style histogramme les barres sortant de la zone d affichage seront affich es en d grad pour pr venir l utilisateur qu il doit changer les intervalles d affichages pour voir la barre enti rement Intervalles sur X et Y sp cification de l intervalle d affichage des axes X et Y intervalles par d faut ou d finis par l utilisateur Cette derni re fonction peut permettre par exemple de zoomer sur les parties les plus int ressantes du graphique Les cases log permettent d activer l chelle logarithmique sur l axe concern Attention le O n est pas repr sentable en chelle log pensez indiquer un d but strictement positif E 10 par exemple Si O est indiqu l chelle log commencera une valeur arbitraire E 15 Lorsque les l axe des abscisses repr sente le temps il est possible de choisir l unit de temps utilis e parmi heures jours mois ann e L affichage par d faut est en heure car c est l unit habituellement utilis e pour faire les mod lisations Cette fonctionnalit n est disponible que dans le module SIL Lorsque le moteur de calcul le permet il est possible d afficher l intervalle de confiance en cochant la case correspondante En style histogramme une case cocher permet de faire un hi
59. la base en utilisant le menu Donn es et Calculs Base de Donn es Copier des param tres de la base Une fen tre s ouvre et permet de s lectionner les param tres que vous souhaitez copier dans le document Les param tres cr s seront automatiquement reli s au bon param tre dans la base Manuel utilisateur 63 70 9 Enregistrer Voici un r capitulatif de toutes les informations qui peuvent tre sauvegard es partir d un m me mod le 9 1 Mod le Il est bien videmment possible d enregistrer et recharger les mod les qui sont r alis s Il suffit pour cela d aller dans Fichier Enregistrer ou dans Fichier Enregistrer sous File F New Open Open Petri10 file E Save Lave as Close Ctrl F4 Save as prototype Save modification made on prototype Prototypes Library L Page layout B Print Save in RTF file 9 2 Fichier RTF Un mod le peu galement tre enregistr au format RTF Cela permet de recharger ensuite cette sauvegarde sous WORD afin d ins rer la partie graphique du mod le dans un document quelconque Il suffit pour cela d aller dans Fichier Sauver dans un fichier RTF File F New Open Open Petri10 file Save Save as Close Ctrl F4 Save as prototype Save modification made on prototype Prototypes Library E Page layout B Print Save in RTF file Remarque Il existe un moyen plus simple et plus rapide pour ins rer un mod le d
60. lace num ro 1 Comme chaque place a en g n ral un sens bien pr cis pour l utilisateur il est fortement conseill de lui attribuer un label plus mn motechnique que celui donn par d faut Cela permet de mieux se rep rer dans le mod le et dans le fichier r sultats 3 Un nombre de jetons Il est gal z ro par d faut pour chacune des places cr es Dans un r seau de Petri la pr sence ou non d un jeton dans une place correspond en g n ral la pr sence ou non d un tat particulier pour un des composants du syst me mod lis par le r seau de Petri L ensemble des jetons pr sents un instant donn marquage du r seau de Petri correspond de ce fait l tat global du syst me tudi L volution de ce marquage constitue de l aspect dynamique du syst me PH ts 0 Pi Ets 0 PIS bi 2 1 2 Saisie des transitions Pour saisir les diff rentes Transitions il suffit de s lectionner le symbole correspondant sur la barre des symboles Ensuite chaque clic de la souris sur la surface de saisie graphique un nouvel l ment est cr Dans un r seau de Petri les Transitions mod lisent les v nements qui peuvent se produire un moment donn sur le syst me tudi d faillances tests maintenance Les Tir des transitions modifient le marquage des places auxquelles elles sont reli es par les arcs amonts et avals C est ce qui permet de simuler le comportement dynamiq
61. les de taille identique e Intervalles de classe quiprobable permet d obtenir les intervalles dont la probabilit que la valeur en fin d histoire soient dans un intervalle est la m me que la probabilit qu elle soit dans un autre e Intervalles pr d finie libre choix des intervalles par l utilisateur Les bornes des intervalles peuvent tre d finies de quatre mani res e Les bornes d finies automatiquement pour les SIL e D finition manuelle des bornes s par es par des virgules e It ration o l utilisateur indique un borne minimum une borne max et la taille des intervalles souhait s _ It ration logarithmique o l utilisateur indique un borne minimum une borne max et le nombre d intervalles qu il souhaite Les intervalles seront calcul s de mani re tre de taille gale sur une echelle logarithmique En plus des bornes indiqu es par l utilisateur une borne est rajout e moins l infini et plus l infini ce qui permet d obtenir un histogramme contenant toutes les informations Lorsque les bornes sont sp cifi es il ne reste plus qu a choisir si les intervalles sont d finis inclu droite ou inclu gauche RQ La norme IEC 61608 d finit des intervalles inclus gauche pour les SIL Manuel utilisateur 48 70 TOTAL 5 3 Tableaux et profil de variables Il est possible de cr er des tableaux de donn es l aide du tableau Tableaux Un tableau est une liste d arguments q
62. les pages ou groupes de pages imprimer L option Impression les pages s lectionn es partiellement vous permet d imprimer ou non les pages marqu es d un carr bleu e Imprimer le cadre Imprime un cadre autour de chaque page imprimer Imprimer le nom du fichier Imprime le nom du fichier en haut gauche de chaque page Imprimer le num ro de page Imprime le nom et le num ro en bas de chaque page Manuel utilisateur 35 70 TOTAL e Imprimer la date Imprime la date en haut droite de chaque page e La fonction Sauver dans un fichier RTF permet d acc der dans un premier temps une fen tre appel e Propri t d impression Puis une autre intitul e Information Dans un troisi me temps l utilisateur arrive sur une fen tre permettant de choisir le dossier dans lequel il d sire que le fichier RTF soit enregistr Printing properties x Print border R Print filename R Print page number X Print date e Lorsque l utilisateur s lectionne la fonction Sauver dans un fichier RTF c est le cadre ci dessus qui appara t dans un premier temps Il peut alors s lectionner ses pr f rences imprimer le cadre le nom du fichier le num ro de la page ou et la date Information xi Ww Print current view _ Print current page _ Print whole document CG Lien Dans un second temps c est la fen tre Information qui appara t Elle permet l utilisateur
63. lisible le r ticule permet d aligner de mani re moins pr cise que la fonction Aligner du menu Outils les diff rents l ments entre eux L activation ou d sactivation du r ticule s effectue au niveau de l onglet Graphiques du menu Option La figure ci dessous montre comment aligner facilement et rapidement un l ment par rapport un autre De m me pour aligner des l ments horizontalement 1l suffit de s lectionner le type Aligner au milieu qui aligne les ordonn es en maintenant les abscisses constantes Le principe est le m me que celui d crit ci dessus Manuel utilisateur 33 70 z TOTAL 2 8 13 Glue Association graphique Lorsque les objets sont positionn s votre convenance 1l est possible de figer un ensemble d objet les s lectionnant et en faisant un clic droit puis Associer Cette commande groupe au sens graphique et non hierarchique les objets s lectionn s de telle sorte qu en d placer un d place les autres 2 8 14 Ligne Afin de pouvoir dessiner des lignes polylignes ou fl ches l outil Ligne peut tre utilis Dessinez la ligne puis ditez ses propri t s pour construire une fl che 2 8 15 Prototypes cf document annexe sur les prototypes Manuel utilisateur 34 70 3 Impression Concernant l impression l utilisateur a plusieurs commandes sa disposition dans le menu Fichier e La fonction Mise en page permet de choisir l orientation des pages la dimension des marges
64. llance Failure restera valide Prodht _4 br 4 Prodh _B bi B De Toks Lu Toks Failure Faikre B exp Lambda exp Lambda N Production A Repair Er A I Production E Fendi Emi _ E 1 exp OT Paien exp OT Faieo_E I Podechon A ProdMAx 4 Fons I Producton 8 Prod MAx 8 Fons FepairTeant OK fre FepaiTeant OK true he art A PE Sart_E 73 Se eiTe E 73 Si eiT OK Il Feparteant OK rale Il Feparteant_ OK 7alse Production A Reparation 4 RARE Reparation E O0 Toks Toks Production A HA mnauchon_ S Repa 4 4 Simulation en pr sence de groupes Pour tirer une ou des transitions valides qui sont contenues dans un groupe il y a deux mani res de proc der e entrer dans le groupe afin de tirer les transitions en cliquant directement dessus clic gauche sur le groupe ou clic droit puis Editer groupe e ou alors proc der un tir en ayant simplement la liste des transitions valides contenues dans le groupe et les sous groupes clic droit sur le groupe Unit1 Edit group Failure_ Failure B Si on reprend l exemple pr c dent avec les deux composants c est bien la transition Failure qui tait la seule transition valide Lorsque les transitions sont tir es l int rieur des groupes il peut tre difficile de se rendre compte des modifications qui se sont produites C est pour cela qu il est utile d utiliser des champs dynamiqu
65. ller ordinaire En plus de la commande Copier Coller et Renum roter il existe une fonction Copier Coller ordinaire Elle permet de faire une simple copie sans renum rotation On obtient ainsi des l ments en double ce qui d un point de vue formel est incorrect mais qui doit tre tol r de mani re transitoire afin de faciliter la saisie Toutes les fois que cela est possible la fonction Copier Coller Renum roter doit donc tre pr f r e Copier Coller simple afin de minimiser le risque d erreur Mais quand elle est tout de m me utilis e c est l utilisateur de prendre ses pr cautions pour r tablir in fine une num rotation correcte afin de faire dispara tre les doublons 2 8 5 Modification Globale Au cours de l laboration de votre R seaux de Petri il peut tre n cessaire de modifier une grande partie des l ments changer les noms les num ros La fonction Modification globale du menu Edition permet de r aliser des modifications en masse e Utiliser la fonction Edition Modification globale e Choisir le type d l ment modifier parmi les onglets disponibles e La partie Rechercher Remplacer permet de changer une cha ne de caract res pr sente dans un ou plusieurs label Elle est remplac e par la chaine inscrite dans la partie Remplacer e La partie Renum roter permet de proc der une modification des num ros Il suffit de marquer un num ro de D but puis de pr c
66. nant l exemple tant donn que la variable bool enne RepairTeam_OK vaut initialement TRUE la transition Repair_Start du composant d faillant celui de gauche sera valide Pour ce qui est de l autre composant sa transition de d faillance Failure restera valide Prodhi s 2 kirt gop Toks Failure exp Lambda N Production A Repair Emi A exp 0 4 Faieg Production A Pamah 4 Toks Fenairreant DK me Repair start aT l 77 Repair leanm_ OK Il RepaiTeam_ OK rale Production _ O0 Fenaraton Toks Repa Manuel utilisateur Prodhi x_B A Mor E joue Toks Faikre B exp Lambda I Production E Fendi Emi _ E 1 eg DT Faied_E Production 8 PodHaX B Toks RepaiTeam_ DK iure Repar Start E aT l 77 Reparleanm_ OK Il RepaiTeam_ OK rale Production _f 1 Fenaraton S Toks 0 Production HProducition S 45 70 CE 5 Statistiques et configuration des variables En plus du marquage moyen des places et du nombre moyen de tirs de chaque transition la simulation peut calculer un certain nombre de statistiques suppl mentaires En effet 1l est possible d obtenir des r sultats statistiques sur n importe quelle variable ou combinaison de variables du mod le Il est n cessaire pour cela d indiquer que la variable est observ e lors de la simulation Lorsque qu une variable est observ e une tat statistique au sens
67. nexe sur les prototypes 2 1 5 Saisie des commentaires Pour ajouter un commentaire n importe o sur le mod le il suffit de cliquer sur l ic ne repr sentant un crayon et de se placer sur un endroit de la zone de saisie graphique La bo te de dialogue Commentaire s ouvre et il est alors possible de saisir le commentaire d sir Manuel utilisateur 12 70 D TOTAL Remarque le caract re est un caract re sp cial il doit tre doubl pour pouvoir afficher k z Comment his is the 1st part ofthe system F3 ts 0 2 2 Param trage des l ments De mani re g n rale tous les l ments graphiques peuvent tre dit s en faisant un double clic ou avec le menu Edition Propri t s ou encore avec la combinaison de touches Alt Entr e 2 2 1 Param trage des places La saisie des divers param tres des places s effectue de la mani re suivante e S lectionner la place avec le bouton droit de la souris Un petit panneau comportant trois champs renseigner est alors ouvert e Saisir le Nom de la place facultatif mais fortement conseill Cette description est Plh par d faut e Modifier ventuellement avec pr cautions le Num ro de la place D autres mani res de proc der plus s res sont d crites plus loin e Saisir le nombre de Jetons initialement pr sent dans la place en question Cela peut se faire la main mais un clic sur le petit triangle noir est beaucoup plus
68. normalement une probabilit qui est d termin e par la simulation Remarque La valeur par d faut de cette probabilit est de 0 5 z ra Sn Entree x is 1 7 Random number of On Demand Fire 0 5 F E l l TA i exp E3 lso 002 i PI PiS bi bi Dans l exemple ci dessus si c est 0 5 qui est saisi le jeton ira dans la place n 3 Manuel utilisateur 43 70 a TOTAL 4 11 Stopper une action de simulation en cours Concernant l exemple tant donn que la variable bool enne RepairTeam_OK vaut initialement TRUE la transition Repair_Start du composant d faillant celui de gauche sera valide Pour ce qui est de l autre composant sa transition de d faillance Failure restera valide Prodh s bit 1 Toks Faire exp Lambda I Production A Repair Em A exp 0 4 Paieg Production A Pooh A Toks Fenairreant_ DK de Fenair_ Start 4 or l 77 renarrednt OK Reparation Toks Production _A O0 Repa Manuel utilisateur Il RepaiTeam_ OK ralse Prodh s TORE Toks me Faire _ B exp Lambda I Produckion B F eg DT Faleg B Production 8 PodM4X B Toks i RepaiTeam_ DK iue I Fenair otat _ B aT l 77 Repairleam_ OK Il RepaiTeam_ OK ralse Production E 10m0 Fenaraton S Toks Production A HP S CR 44 7 70 4 12 Autres options ED Torat Concer
69. nt la figure pr c dente en quittant l dition de groupe avec le menu Groupe Quitter Edition Groupe ou en utilisant la fl che vers le haut situ e gauche du gestionnaire de page Il est aussi possible d attribuer une image un groupe avec la commande Groupe Changer d image Remarque Il est possible de grouper des groupes de mani re r cursive 2 8 Aide la saisie Afin de faciliter la cr ation de mod le le module R seaux de Petri pr dicats dispose de diff rentes aides la saisie permettant d automatiser les actions chronophages 2 8 1 Copier Coller Renum roter sans Renvoi Pour aider la saisie des parties r p titives des R seaux de Petri des m canismes de Copier Coller et Renum roter ont t mis en place Cette op ration s effectue en six tapes 1 S lectionner la partie copier 2 Cliquer sur l ic ne Copier ou utiliser le menu Edition Copier ou encore le raccourci Ctrl C Manuel utilisateur 26 70 TOTAL 3 Cliquer sur l ic ne Coller et Renum roter ou utiliser le menu Edition Coller et Renum roter ou encore le raccourci Ctrl R 4 Une fen tre appara t et permet de choisir le num ro de d part de la renum rotation attention ne pas donner des num ros d j utilis s dans le mod le 5 La partie pr alablement s lectionn e est copi e et la copie est s lectionn e 6 D placer la copie vers l emplacement d sir On obtient alors le r seau
70. ntenant les boutons e La partie principale contenant le tableau de donn es e La partie inf rieure indiquant l utilisation faite de la donn e s lectionn e Enregistre le tableau dans un fichier texte m E Ouvre le tableau dans un diteur de texte celui tant d fini dans les options H EE Ouvre le gestionnaire de colonnes T Lorsque le bouton afficher la s lection est enfonc un clic dans le tableau provoque la s lection dans la zone de saisie Affiche la partie permettant de filtrer les donn es n Modification multiple sur l ensemble des donn es s lectionn es yer Cr e une nouvelle donn e Duplique la donn e s lectionn e demande un nouveau nom fait une copie H Supprime la ou les donn e s s lectionn e s 3 Permet d activer ou non le filtrage des donn es Filtrer j Manuel utilisateur 19 70 TOTAL Permet de d finir le filtre appliquer sur les donn es Le filtrage permet de n afficher que ce qui est utile dans un tableau Il est possible de combiner plusieurs crit res de filtrage comme ci dessous Cr ation d un filtre de donn es x Association des crit res avec AND OR Ajouter un crit re ar C rio x nom rjfeomim h x eme S lectionner AND ou OR pour choisir le type d association entre chaque ligne crit re du filtre Une ligne est une expression bool enne compos e de 3 parties 1 la premi re est la colonne sur laquelle est effe
71. orrespondants repr sent s par des petits rectangles sont renum rot s leur tour Il en r sulte que les renvois sur les places n appartenant pas la s lection ne sont pas renum rot s Repair Tean ts 1 Lt bi 1 a T l I Faire EXP Lada l a Production 0 _ Faire exp Labda I Produckion 0 Repair Erd mmjp Failed 4 exp Qi U Poduckon Pod is Repair Start oe Reparation i Reparatio is i FU A La figure ci dessus illustre explicitement le m canisme La place r p t e num ro 1 interne au sous graphe original a t renum rot e en 5 sur la copie Par contre les renvois correspondants la place 4 externe la copie n ont pas chang s de num rotation Il est possible de naviguer entre les diff rents renvois d un l ment en utilisant le menu Outils Naviguer vers les renvois Une fen tre s ouvre et affiche la liste des renvois Cliquer sur un renvoi positionne automatiquement la vue sur celui ci Il est possible de revenir l l ment original et cliquant sur son nom dans la partie sup rieure de la fen tre 2 8 3 Copier Coller Renum roter avec variable locale Lorsque l utilisateur souhaite effectuer une op ration de Copier Coller et Renum roter en incluant une variable locale dans la copie une bo te de dialogue va alors s ouvrir au moment de l tape Coller Cette fen tre permet de renommer la copie de la varia
72. ply jpg I opiy jpg power jpg AS Ip NAS jpg Il est possible d ajouter des images au document l aide de l ic ne Li Un double clic dans la colonne Fichier permet de s lectionner le fichier image de type jpg gif ou png Il est possible d associer une description ou un nom l image en faisant un double clic dans la colonne Description Une fois dans le document l image peut tre associ e un groupe l aide du menu Groupe Changer l image Les images sont m moris es l int rieur du document veillez ajouter des images de taille raisonnable Les images tant dans le document il faudra r p ter l op ration si le fichier image est modifi l ext rieur de l application 2 8 8 Alignement Afin d am liorer la lisibilit du mod le 1l est possible d aligner verticalement ou horizontalement les l ments s lectionn s Il suffit pour cela d utiliser la commande Aligner du menu Outils La figure ci dessous montre le fonctionnement de la commande Aligner verticalement diff rents l ments s lectionn s s effectue de la mani re suivante 1 S lectionner les l ments l ments du mod le commentaires champs dynamiques aligner 2 Aller dans le menu Outils et s lectionner la fonction Aligner 3 Choisir le type d alignement Aligner au centre 4 Faire un clic gauche Manuel utilisateur 32 70 Page manager C 7 New Page oO tr O Move to page si Refresh _
73. que la s lection d un objet dans les tableau de donn es quand on le s lectionne dans la vue Synchroniser la vue avec l arborescence Provoque la s lection d un objet dans l arborescence quand on le s lectionne dans la vue Demander la configuration des variables observ es Active la demande de configuration des calculs lorsqu une variable devient observ e 10 5 Graphiques L onglet Graphique permet de modifier l aspect de la base graphique Taille des l ments Permet de changer la taille des l ments graphiques Taille des commentaires Permet de sp cifier la taille de la police des commentaires Activer le r ticule Active un r ticule permettant d aligner les objets lors de leur s lection Activer le lissage du texte Active l anti aliasing lissage sur les textes ce processus peut ralentir l affichage Activer le lissage des dessins Active l anti aliasing lissage sur les dessins ce processus peut ralentir l affichage Afficher les info bulles Active le syst me d infobulle Tracer les places et transitions en respectant l IEC 62522 PN Techniques Permet de tracer les places et transitionsen respectant la norme IEC62522 Les transitions seront tracer diff remment suivant leur loi 10 6 Format num rique L onglet format num rique permet de choisir le format des nombres affich s dans l application Affichage des param tres Permet de sp cifier le format d affichage pour les param tres chiffres apr
74. r e ou garde de cette transition devienne VRAI 4 D s que l quipe de r parateurs sera disponible message RepairTeam_OK passant VRAI alors la r paration commencera imm diatement car la loi de d lai de cette transition est une loi Dirac d lai nul 5 Quand la transition Repair_Start est tir e le jeton est retir de la place Failed un jeton est mis dans la place Repair et le message RepairTeam_OK passe FAUX ce qui signifie R parateurs non Disponibles Ainsi un autre quipement tombant en panne devra attendre que l quipe de r parateurs se lib re pour tre r par 6 L arriv e du jeton dans la place Repair valide la transition Repair_End qui sera tir e au bout du d lai de r paration tir au hasard selon la loi exponentielle affect e cette transition 7 Le tir de la transition Repair_End enl ve le jeton de la place Repair met un jeton dans la place Work et refait passer le message RepairTeam_OK VRAI La variable Production reprend la valeur Prod MAX 100 Donc on est revenu dans l tat initial et l quipement est pr t pour la simulation de sa seconde panne Nous avons pris des lois exponentielles mais n importe quel autre type de lois aurait pu tre utilis par exemple la loi log normale pour la dur e de r paration D autre part la loi de Dirac a permis de m langer sans tats d me particuliers un ph nom ne d terministe des ph nom nes al atoires Donc m me tr s simple ce peti
75. res 1l est possible de saisir une valeur un nom un param tre existant dans le document ou un nouveau nom Dans le dernier cas la fen tre ci dessous appara tra pour demander la valeur et le domaine Ici Lambda est un Param tre qui ne varie pas R el de valeur 0 001 Il est aussi possible d utiliser une Variable dans le cas d tude de fiabilit dynamique E z 2 z variable Parameter creation Type Variable D Domain Value L option Transition m moire Une fois la transition param tr e il reste encore sp cifier ce qui se passe lorsque 2 ON la transition est inhib e avant d avoir pu effectivement tre tir e Ce param tre est tr s important et deux cas tr s diff rents sont consid rer e Cas 1 Lorsque la transition est inhib e cela signifie que l v nement correspondant ne pourra jamais plus se produire exemple un vieux composant est remplac par un composant neuf avant qu il ne soit tomb en panne gt la panne du vieux composant ne pourra plus jamais se produire Dans ce cas lorsque la transition redevient valide elle repr sente un nouvel v nement ex panne du composant neuf qui n a rien voir avec celui qui a t tu dans l oeuf avant d avoir pu se produire Il est donc n cessaire de simuler un nouveau d lai de tir pour la transition la transition est sans m moire de ce qui s est pass auparavant e Cas 2 Lorsque la transition est inhib e cela
76. s parties 1 Titre du graphique permet de donner un titre au graphique Manuel utilisateur 53 70 z TOTAL 2 Liste de donn es Cette partie comporte un tableau de trois colonnes dans lequel sont list es les diff rentes courbes du graphique nom description affichage couleur de courbe style de courbe paisseur de courbe Au dessus de ce tableau plusieurs boutons sont disponibles Ajouter imil envoie l utilisateur vers la fen tre Type de courbe afin d ajouter un trac de courbe au graphique cf chapitre suivant Editer modifie le trac de courbe s lectionn x Supprimer supprime le trac de courbe s lectionn du graphique Monter t fait remonter le trac de courbe s lectionn dans la liste Descendre fait descendre le trac de courbe s lectionn dans la liste Enregistrer enregistre sous format CSV la liste des points calcul s pour le trac des courbes s lectionn s Cet export ne contient pas les grandeurs g n riques pour avoir un export avec les grandeurs g n riques 1l faut faire un clic droit sur la courbe et faire Export individuel Dupliquer cr e une nouvelle courbe exactement identique au trac de courbe s lectionn e R sultats affiche dans un diteur de texte les r sultats de la courbe s lectionn e Pour chaque courbe il est possible de sp cifier sa couleur son style de points son paisseur et son affichage 3 Options de calcul permet de param trer le calcu
77. solue du poids de l arc 3 jetons par exemple pour un poids de 3 Ce type d arc est repr sent graphiquement en pointill gt et ne modifie pas le marquage de la place amont lorsque la transition est tir e Poids 0 il s agit d un arc qui vide la place amont correspondante lorsque la transition est tir e ceci quel que soit le marquage de la place amont avant le tir 2 2 3 Param trage des transitions La saisie des divers param tres des transitions est plus complexe que celle des places car elle n cessite une bonne compr hension des possibilit s du logiciel MOCA RP dont la consultation du manuel est fortement conseill e ce stade des op rations S lectionner la transition concern e avec le bouton droit de la souris Une fen tre de dialogue appara t La partie sup rieure permet de modifier le Nom et l ID num ro de la transition L autre partie est constitu e de 5 onglets permettant de configurer le comportement de la transition Manuel utilisateur 14 70 2 2 3 1 Onglet D lai TE Properties Humber I Name k Automatic Tri Guards Parameter s Rate A 1 C Transition with memory Condition to keep memory D SE ON TN NT L onglet D lai indique la loi de d lai de la transition S lectionner la loi voulue se r f rer au manuel d utilisation de MOCA RP puis rentrer les param tres de la loi Ici la loi par d faut est Exponentielle avec 1E 3 en param tre Pour les param t
78. stogramme cumul 5 Option d affichage permet d activer ou non la fonction Afficher le titre affichage du titre du graphique et la fonction Afficher les grandeurs g n riques affichage du min du max et de la moyenne de chaque courbe Lorsqu une courbe est dit e la fen tre d dition d une courbe contient souvent 3 parties les temps auxquels le calcul est r alis ce qui est calcul les informations suppl mentaires grandeurs g n riques qui doivent tre affich es ou non sous la courbe Remarque il est parfois n cessaire de rafra chir tous les graphiques d un document Pour cela il faut utiliser la commande Outils Rafra chir ou utiliser le raccourci clavier F5 ou l icone h l Manuel utilisateur 54 70 D TOTAL 7 2 Courbes depuis les donn es de la banque de r sultats Lorsque l utilisateur clique sur le bouton Ajouter de la partie Liste de donn es une fen tre permet de sp cifier la courbe tracer Toutes les courbes r pr sentent des informations stock es dans la base La fen tre suivante permet d indiquer la mani re de r cup rer ces information ed GRIF Fault Tree Module Legends Unavailability Computation selection co i Frozen computation for cumes 6 Batchi IComputation1 Computation2 Result to be displayed A Gates and Events A Probability Q Andi ce UFI Unconditional bu Value to be displayed Minimum Maximum Mean Cace Hem
79. t de sp cifier la taille de la police des l gendes Manuel utilisateur 70 70
80. t mod le donne d j une id e de la puissance des r seaux de Petri associ s la simulation de Monte Carlo 2 6 Utilisation des renvois sur les places La notion de renvoi ou l ment r p t a t introduite dans le module R seaux de Petri pr dicats pour quatre raisons essentielles e Faire communiquer des diff rentes portions du mod le entre elles e Eviter les mod les graphiquement trop charg s et ainsi pr server la lisibilit e Faciliter l utilisation de la fonction Grouper cf ult rieurement Manuel utilisateur 24 70 e Mettre en vidence l essentiel et l accessoire Repair Tean pi 1 Faure exp Lab I Prodeckon 0 Fendi Emi exp OT I Poduckon Podha is Repair ts Pour cr er un renvoi sur une place il suffit de s lectionner tout d abord l ic ne correspondante dans la barre des symboles puis de cliquer sur la place concern e ici la place n 4 qui repr sente l quipe de r parateurs Le renvoi appara t alors sous la forme soit du num ro de la place si celle ci est vide soit sous la forme d un petit rectangle si celle ci contient un ou plusieurs jetons Le renvoi peut ensuite tre s lectionn et positionn la souris puis tre reli par un arc amont ou un arc aval une transition L op ration peut tre reconduite autant de fois que cela est n cessaire deux fois sur la figure Le comportement du r seau de Petri ci contre est quivalent celui d cr
81. ters Edit Statistic States Export data b Moca data Launch Moca 12 a La fonction V rifier permet de d tecter les ventuelles erreurs du mod le donn es sans valeurs gales NaN places ayant un num ro identique etc Remarques b La fonction Exporter les donn es permet d exporter des tableaux c La fonction Importer les donn es permet d importer des tableaux 7 Le menu Mode permet de passer du mode Saisie au mode Simulation Petri net input 2 Simulation 8 Le menu Groupe concerne la saisie et la gestion de sous mod les regroup s en sous ensembles ind pendants La barre d ic nes plac e juste en dessous des menus propose des raccourcis de deux des commandes de Groupe Group Change name Ungroup F 4 Edit group ESS Quit group edition 9 Enfin le menu Aide donne acc s l aide en ligne la rubrique d aide et l A propos Manuel utilisateur 7 170 TOTAL 1 3 Barre d outils verticale Chaque mod le utilis en s ret de fonctionnement poss de sa propre iconographie L ensemble de symboles graphiques relatifs aux r seaux de Petri est repr sent sur la barre d ic nes plac e verticalement gauche de la fen tre de saisie Petri Hets O __ E Select Li Places I Transitions TRN J Arcs onby one A CG Arcs many Li Repeated place I Fi 2 Comment 1 Enmamic display Ci Local data EI B a pm T Charts L
82. uche 3 faire glisser la souris sans l cher le bouton jusqu la Transition respectivement la Place d arriv e o on rel che le bouton C est l ordre place gt transition ou transition gt place qui d termine le type amont ou aval de l arc saisi Sur la figure ci dessous on peut voir le r sultat obtenu Des arcs amont ont t tir s entre la places 1 et la transition Tr1 puis entre la place 2 et la transition Tr2 et des arcs avals ont t tir s entre la transition TR1 et la place 2 puis entre la transition Tr2 et la place 3 etc On notera que contrairement aux R seaux de Fiabilit il n existe pas d arc bidirectionnel pour les R seaux de Petri Cependant il arrive souvent qu un arc amont et un arc aval Manuel utilisateur 10 70 TOTAL doivent tre tir s entre la m me place et la m me transition Dans ce cas ils peuvent tre superpos s et donner l illusion d un arc bidirectionnel mais il s agit bien de deux arcs s par s Allows to break the arc Remarques 1 Pour des raisons d esth tique ou de lisibilit du mod le il peut tre judicieux de briser un arc en plusieurs parties Pour cela il suffit de s lectionner l arc puis de d placer le petit carr rouge se situant au milieu du segment 2 Il est galement possible de remettre un arc droit en utilisant la commande Outils Redresser les arcs coud s 2 1 4 Saisie des variables locales Pour ajouter une variable locale au
83. ue du syst me A sa cr ation chaque transition est pourvue d un nom par d faut Tri pour la transition saisie en 1 me position Contrairement aux places le num ro des transitions n a aucune importance car il n est pas utilis dans le fichier de Manuel utilisateur 9 70 TOTAL donn es g n r pour les moteurs de calcul Il est donc tr s fortement conseill plus que pour les places de leur attribuer un label mn motechnique cf Section 2 2 3 Param trage des transitions T A FO je exp 163 E b ar l exn 1 3 me ca kits 0 2 1 3 Saisie des arcs amonts et avals La fonction des arcs amonts est de d crire une partie des conditions de validation des transitions l autre partie tant g r e par les gardes cf Section 2 2 3 3 Onglet Gardes En effet ils d finissent le marquage n cessaire des places amont pour permettre le tir de la transition La fonction des arcs avals est de d crire ce qui se passe au niveau des transferts de jetons lorsque le tir de la transition a lieu Pour saisir les arcs amont ou aval 1l suffit de 1 s lectionner l une des deux ic nes correspondantes sur la barre des symboles e la fl che unique qui ne permet de saisir qu un seul arc la fois ou e la fl che double qui permet de saisir autant d arcs que l on veut 2 s lectionner une place respectivement une transition de d part en cliquant dessus avec le bouton ga
84. ui peux tre utilis s dans les fonctions n cessitant plusieurs arguments Create table i Normal table Variable profil Lors de la cr ation d un tableau bouton Nouveau vous devez choisir soit un Tableau normal soit un Tableau de profile de variable Dans le premier cas le tableau sera une colonne dans le second deux colonnes Create table delayo 1 Un tableau de profil de variable est un tableau qui permet de d finir la modification de la valeur d une variable au cours du temps Dans la colonne de gauche il faut indiquer une date en commmen ant de pr f rence 0 et dans la seconde la valeur qui sera affect e cette date Pour un bon fonctionnement la dernier date doit tre supp rieure la dur e d une histoire Pour s assurer que cette date sera toujours supp rieure 1l est conseill d utiliser la formule delay 1 qui renvoie la dur e d une histoire 1 Ensuite 1l faut cr er un r seau de Petri qui modifie la variable en fonction du tableau pour cela un clic droit sur le profil permet d acc der la fonction Cr er un r seau de profilage La variable profiler sera demand e puis le r seau sera cr sur la page courrante 100 T5 50 Tri TrZ dre dre test Prof Dela t test Profil Delay xTabGetftest Profil t 25 test xTabGetitest Profil tr 1 tabs test Pro d test Aromil le 1 0 j 1 O0 2 O0 3 000 4 00d Minimum 4E1 Maximum 1E2 Mean 6 426E1 PIE Toks
85. uls peuvent tre saisie de deux mani res e Liste de temps les calculs seront effectu s pour les valeurs de t donn es dans la liste Le caract re s parateur est la virgule e It ration de A B pas C les calculs seront effectu s pour des valeurs de t allant de A B par pas de C Il est possible de choisir si les calculs sont effectu s avant ou apr s les tirs de transitions Manuel utilisateur 47 70 5 2 3 Histogrammes S Computation setup for Prod Computations Histograms List of values at the end _ Fixed size Intervals Equiprobable classes Humber of classes User defined intervals O SIL interval 1E 4 1E 3 1E 2 1E 1 Specific interval 0 20 50 75 100 C terate From To step C teration log scale From To Hb of intervals Left included xy Right included x 4 Hb One interwal will be added for values before lower limit and one after upper limit including higher values Les calculs effectu s plus haut permettent d avoir des valeurs moyennes sur l ensemble des histoires jou es La partie Histogramme permet de savoir comment se sont r parties les valeurs au cours des histoires Cf manuel utilisateur Moca pour plus d information e Liste des valeurs permet d obtenir l historique des valeurs de la variable la fin de chaque histoire e Intervalles de taille fixe permet d obtenir la mani re dont est r partie une valeur en d coupant l intervalle des valeurs en X interval
86. une loi particuli re comme loi par d faut Loi par d faut Permet de d finir la loi utiliser par d faut Nombre maximum de caract re par ligne Permet de sp cifier le nombre de caract re maximum par ligne afin de ne pas surcharger l cran V rification syntaxique s mantique avant calcul Active la v rification syntaxique et s mantique des transition avant chaque calcul 10 9 Arcs L onglet Arcs permet de modifier l affichage des arcs Taille des labels Permet de sp cifier la taille de la police du label Largeur des fl ches Permet de sp cifier la largeur des fl ches Longueur des fl ches Permet de sp cifier la hauteur des fl ches Afficher le poids des arcs Permet d afficher ou non le poids des arcs 10 10 Donn es Locales L onglet Donn es locales permet de modifier l affichage des donn es locales Taille des labels Permet de sp cifier la taille de la police du label Afficher le nom des donn es Permet d afficher le nom des donn es Afficher le domaine Permet d afficher le domaine de d finition Afficher la d finition Permet d afficher la d finition des variables Afficher la valeur Permet d afficher la valeur des donn es 10 11 Simulation L onglet Simulation permet de param trer la simulation D clenchement automatique des transitions Active ou non le d clenchement automatique des transitions ayant un Dirac 0 comme loi D clenchement automatique au d marrage Acti
87. ut enter les noms des quatre champs du fichier CSV e Enfin il faut pr ciser le type de s parateurs utilis s dans le fichier CSV Attention Il est important de noter que pour r aliser une connexion de type CSV il est imp ratif que toute la base soit sur une seule feuille Manuel utilisateur 60 70 D TOTAL 8 2 Connexion par un lien JDBC exemple avec connecteur ODBC 8 2 1 Forme de la base de donn es Au d part la base de donn es peut tre sous la forme d un fichier de type EXCEL ou ACCESS Ensuite l aide du syst me d exploitation il est n cessaire de cr er une source de donn es syst me de type ODBC Dans le cas de WINDOWS par exemple cette op ration s effectue au niveau du menu Panneau de configuration Outils d administration source de donn es ODBC Voici l exemple d une base de donn es sous EXCEL o 1 lID NOM VALEUR DESCRIPTION 1 Lpicomp 0 006 comment 2 Lp comp 0 004 comment 3 Lp3comp 0 002 comments 4 Lp4comp 0 001 comment4 8 2 2 Connexion Pour connecter GRIF cette base de donn e de type ODBC il suffit d aller dans le menu Outils Options de l application Base de donn es L utilisateur se retrouve alors avec une fen tre compl ter de la mani re suivante JaGrif 4 Predicates Petri Nets Module x Transitions Local data Simulation Prototypes Executables Database Language Options Use DataBase connection for parameters JDBC Driver sun jdbc odbc Jd
88. values 65 70 TOTAL 9 6 Tableaux Il est possible d importer et d exporter des tableaux d entr e destin s des calculs complexes et pouss s Il suffit pour cela d aller dans Donn es et calculs Importer des donn es ou dans Donn es et calculs Exporter des donn es Data and Computations Edit Tabs Edit Places Edit Variables Edit Parameters Edit Statistic States Export data Import data Update from database Very Moca data Launch Moca 12 Manuel utilisateur 66 70 TOTAL 10 Options de GRIF R seaux de Petri pr dicats Le menu Outils Options de l application ouvre une fen tre avec les onglets suivants 10 1 Ex cutables L onglet Ex cutables permet d indiquer les chemins des ex cutables externes e Editeur Permet d indiquer l ex cutable utiliser pour diter les donn es e Ouvrir automatiquement les PDF Permet d indiquer si les rapports PDF doivent tre ouverts apr s g n ration e Feuille de style XML vers DocBook Feuille de style permettant de convertir le rapport XML en fichier docbook e Feuille de style XML vers HTML Feuille de style permettant de convertir le rapport XML en fichier docbook e Feuille de style DocBook vers PDF Feuille de style permettant de convertir un fichier docbook en fichier pdf e Chemin de Moca RPC Indique de chemin de Moca Version 10 10 2 Base de donn es L onglet Base de donn es permet de configurer la
89. ve ou non le d clenchement automatique des transitions au demarrage de la simulation Nombre de transitions tirables avant d tection d une boucle Permet d indiquer le nombre de tir maximum avant la d tection d une boucle Rendu graphique de la simulation Active ou non le rendu graphique de la simulation chaque modification Delai entre chaque tir de transition Delai de pause entre 2 tirs automatiques Tracer la simulation Permet de tracer le d roulement de la simulation Chemin du fichier trace Fichier o sera sauvegard la simulation Choisir la mani re de tirer les transitions de type sollicitation Affiche ou non une fen tre de dialogue lors d un tir la sollicitation Respecter l ch ancier pour les transitions d terministes Seule la premi re transition d terministe de l ch ancier pourra tre tir e Choisir le d lai de la transition tir e Affiche ou non une fen tre de dialogue pour choisir le d lai de tir de la transition tir e Tirer les incertitudes au hasard en simulation interactive Si l option n est pas coch la valeur d une variable avec invertitude sera la moyenne Par exemple 1 5 pour unif 1 2 Histogramme illimit Permet d avoir un histogramme complet Affichage des histogrammes transitions Permet de choisir le type des histogramme des transitions Manuel utilisateur 69 70 z TOTAL e Param tre nb classes nb et taille intervalle Sp cifie le param tre pour histogr

GRIF 2012 Réseaux de Petri à prédicats - GRIF

Contents

Download Pdf Manuals

Related Search

Related Contents

GRIF 2012 R&eacute;seaux de Petri &agrave; pr&eacute;dicats - GRIF

Contents

Download Pdf Manuals

Related Search

Related Contents

GRIF 2012 Réseaux de Petri à prédicats - GRIF