Manuel d`Utilisation E-NetObject : Un Editeur de - Hal
Contents
1. archives ouvertes Manuel d Utilisation E NetObject Un Editeur de R seaux de Petri a Objets F Raclot David Andreu Th rese Libourel Rouge Robin Passama To cite this version F Raclot David Andreu Th r se Libourel Rouge Robin Passama Manuel d Utilisation E NetObject Un Editeur de R seaux de Petri Objets 02181 2002 pp P nd lt lirmm 00269422 gt HAL Id lirmm 00269422 http hal lirmm ccsd cnrs fr lirmm 00269422 Submitted on 3 Apr 2008 HAL is a multi disciplinary open access L archive ouverte pluridisciplinaire HAL est archive for the deposit and dissemination of sci destin e au d p t et la diffusion de documents entific research documents whether they are pub scientifiques de niveau recherche publi s ou non lished or not The documents may come from manant des tablissements d enseignement et de teaching and research institutions in France or recherche fran ais ou trangers des laboratoires abroad or from public or private research centers publics ou priv s m a ml A A mn ai ee UNIVERSIT MONTPELLIER Il SCIENCES ET TECHNIQUES DU LANGUEDOC Manuel d utilisation E NetObject Un diteur de R seaux de Petri Objets F Raclott D Andreu T Libourel R Passama Rapport LIRMM n 02181 DESS TNI UMII LIRMM d partement Robotique 3 LIRMM d partement Acquisition et Repr sentation des Connaissances L PRESENTATION 4 23 L EDITE2. l ment de type type a le nom nom dans ce RdP rienDans xA yA xB yB V rifie qu aucun l ment de RdP ne se trouve dans le rectangle d fini par les points A et B de coordonn es xA yA xB yB 38 e rienDans xA yA xB yB lui V rifie qu aucun l ment de RdP a part le SuperLieu lui ne se trouve dans le rectangle d fini par les points A et B de coordonn es xA yA xB yB e getIci x y renvoie l l ment de RdP dont le lieu recouvre le point de coordonn es x y dans le cas o il y aurait 2 l ments au m me endroit par exemple un Arc et un Noeud c est le Noeud qui sera renvoy en priorit e getIci x y lui renvoie l l ment de RdP part le SuperLieu lui dont le lieu recouvre le point de coordonn es x y dans le cas o il y aurait 2 l ments au m me endroit par exemple un Arc et un Noeud c est le Noeud qui sera renvoy en priorit e translateDe x y d place le RdP de x sur les abscisses et de y sur les ordonn es ceci n est visible que si RdP est un sous r seau t RdPSimple Impl mentation d un r seau de Petri sans sous r seaux Attributs e listeArc la liste des Arcs du RdPSimple e listeNoeud la liste des Noeud du RdPSimple e listeClasse la liste des Classes du RdPSimple e listeVerrou la liste des verrous du RdPSimple les verrous sont sous la forme de cha ne de caract re e superRdP le RdPSimple p re ventuel M thodes u RdPComposite Impl mentat
3. s RdP Classe abstraite g n ralisant les r seaux de Petri Attributs HAUTEUR DEFAUT la hauteur d un RdP lorsqu il sous la forme d un sous r seau LARGEUR DEFAUT la largeur d un RdP lorsqu il sous la forme d un sous r seau nom le nom du RP identifiant l identifiant du RdP comprime indique si le RdP est sous forme comprim e comme un sous r seau generique indique si le RdP est un mod le g n rique cf RRO2180 lieu la localisation du RdP sous forme de LieuBoite quand c est un sous r seau chemin le chemin de sauvegarde du RdP cheminLib le chemin de la librairie de Classes associ e ce RdP M thodes getRdPSimple retourne le RdPSimple principal du RdP getListeArc retourne la liste de tous les Arcs du RdP getListeArcSimple retourne la liste de tous les Arcs simples du RdP getListelnhibiteur retourne la liste de tous les Arcs inhibiteur du RdP getListeArcTest retourne la liste de tous les Arcs de Test du RdP getListeNoeud retourne la liste de tous les Noeuds du RdP getListePlace retourne la liste de toutes les Places du RdP getListePlaceClone retourne la liste de toutes les Places clones du RdP getListeTransition retourne la liste de toutes les Transitions du RdP getEnum pour chaque Classe de RdP fait appel getNum et concatene le r sultat dans un Vecteur getEnum nomEnum pour chaque Classe de RdP fait appel getEnum nomEnun e
4. l abscisse du point ou doit tre dessin le label 3e l ment l ordonn e du point ou doit tre dessin le label e dessineReseauMiniature xA xB yA yB rezo g dessine une miniature du r seau rezo dans le rectangle d fini par les points xA yA et xB yB dans le Graphics g e dessineReseau r g dessine le r seau r dans le Graphics g e dejaArcEntre D A teste si il existe un Arc entre les Noeud D et A e dejaArcEntre2 D A fait le m me test que pr c demment mais seulement visuellement e dejaArcFusionEntre D A teste si un Arc de fusion existe entre les Places ou Transitions D et A f Propri t Cette classe gere toutes les Propri t s des entit s des R seaux Attributs e ici d signe l entit du r seau dont les propri t s sont dit es il est sous la forme d un Super e papa l diteur ayant ouvert cette fen tre de Propri t s M thodes e init initialise cette fen tre de Propri t en fonction du type de l entit dit e 43 6 R f rences Passama02 R Passama Rapport de Stage de DEA Informatique L IT R M M Montpellier Juillet 2002 Raclot02 F Raclot Rapport de Stage de DESS TNI L I R M M Montpellier Juillet 2002 RRO2180 F Raclot D Andreu T Libourel R Passama E NetObject un diteur de R seaux de Petri Objets RR L I R M M n 02180 RRO2182 R Passama D Andreu F Raclot T Libourel J NetObject un noyau d ex cut
5. points xA yA et xB yB de couleur c dans le Graphics g e dessinelnhibiteur xA xB yA yB g c dessine un Arc inhibiteur entre les points xA yA et xB yB de couleur c dans le Graphics g e dessineCercle x y r g c dessine un cercle de centre x y de rayon r de couleur c dans le Graphics g e dessinePlace xA xB VAr vB 9 c fond entrant sortant marque dessine une Place l int rieur du rectangle d fini par les points xA yA et xB yB de couleur c dans le Graphics g avec un fond de couleur fond entrant Arcs de fusions entrants sortant Arcs de fusions sortants et ayant marque Jetons banalis s si la Place contient des Jetons non banalis s marque est gal a 1 e dessinePlaceClone xA xB yA vB g C fond entrant sortant marque dessine une Place clone l int rieur du rectangle d fini par les points xA yA et xB yB de couleur c dans le Graphics g avec un fond de couleur fond entrant Arcs de fusions entrants sortant Arcs de fusions sortants et ayant marque Jetons banalis s si la Place contient des Jetons non banalis s marque est gal a 1 e dessineTransition xA xB yA yB g c dessine une Transition de couleur c sur le rectangle d fini par xA yA et xB yB dans le Graphics g e dessineLabels g 1 dessine les messages contenus dans 1 dans le Graphics g 1 est structur comme suit 1er l ment le label lui m me sous forme de chaine de caract res 2e l ment
6. pour cr er le Sous R seau Nouveau3 4 7 2 Modification Cliquez droit sur le Sous R seau souhait puis cliquez sur Ouvrir le R seau ou sur Information si vous voulez changer seulement le nom 28 Nouveau3 Ouvrir le fichier Ourwvrir le Reseau Actualiser Vous obtiendrez une fen tre de R seau semblable la pr c dente Nouveau3_snO_1 E Divers Projet EditeurRdPUsin g Generatrice Er ce Machine ml o bf En sePlece E ADE 142 Fermez la fen tre pour revenir au r seau pr c dent 4 8 Arc de Fusion 4 8 1 Cr ation Tout d abord vous devez avoir cr deux Places ou deux Transitions Puis dans la Palette cliquez sur l ic ne de cr ation d Arc de Fusion 29 Puis sur le deuxi me ici un Sous R seau pour ouvrir la bo te de s lection de la Place du Sous R seau avec laquelle sera faite la fusion 30 Nouveaud4 EE Deuxi me Place de l Arc de Fusion Cela se passe de mani re sym trique pour les Transitions 31 5 Documentation 5 1 Editeur de RdPO 5 1 1 Les entit s d un RAPO Voici la description des l ments manipul s par l interface a Super Cette classe est la classe m re de tous les objets manipul s par l interface Attribut compteur Entier qui est incr ment chaque qu une instance de Super ou d une de ses sous classe est cr e M thode qu
7. M thodes initScroll reseau opened initialise cet Afficheur avec reseau et opened qui sont pass en param tre du constructeur de Page initContextHelp initialise l aide contextuelle afficheAide message ligne affiche message sur ligne lignes dans la fen tre d aide initMenuNorm initialise le menu contextuel initMenuRdP initialise le menu contextuel d di aux r seaux initMenuSousRdP initialise le menu contextuel d di aux sous r seaux fermer retourne un entier permettant de d terminer si l Afficheur peut tre ferm par l Editeur 41 e Page Cette classe h rite de JComponent et impl mente Printable Attributs reseau le RdP affich par cette Page reseauPrecedent une pile Stack permettant de g rer l annulation r tablissement d une action falte sur le r seau Elle contient des RdP reseauSuivant l autre pile Stack permettant de g rer l annulation r tablissement d une action falte sur le r seau Elle contient des RdP actionPrecedent une pile Stack permettant de g rer le nom des actions faites sur le r seau sert pour la fonctionnalit d annulation r tablissement actionSuivant l autre pile Stack permettant de g rer le nom des actions faites sur le r seau sert pour la fonctionnalit d annulation r tablissement selection un Vecteur de SuperLieu repr sentant la s lection M thodes paint a m thode dessinant dans le Graphics g ce qui
8. endroit o se trouve l Arc de fusion sous forme de LieuArc e type le type de l Arc sous forme de cha ne de caract res c est rr quand les deux places respectivement deux transitions sont dans des sous r seaux diff rents pr quand la deuxi me Place respectivement Transition de la fusion se trouve dans un sous r seau de la premi re et rp quand la premi re Place respectivement Transition de la fusion se trouve dans un sous r seau de la deuxi me M thodes j Methode Cette classe impl mente les Methodes qui sont utilis es dans une Classe Attributs e nom le nom de la Methode sous forme de cha ne de caract res e signature la signature de la Methode sous forme de Vecteur structur comme suit ler l ment le type du param tre sous forme de cha ne de caract re 2e l ment un bool en indiquant si ce param tre est une liste La premi re paire est le type de retour de la m thode exemple booleen false entier true reel false dans cet exemple le type de retour de la m thode est un bool en le premier argument est un tableau d entiers et le deuxi me argument et un r el e chemin le chemin du corps de la Methode M thodes k Classe Cette classe impl mente les Classes d un r seau Attributs e nom le nom de classe e listeAttribut la liste des attributs de la Classe sous forme de Vecteur celui ci est organis de la mani re suivante ler l ment le
9. existe que des Arcs sortants ou puit si il n existe que des Arcs entrants e ajouteArcEntrant arc ajoute arc la liste des Arcs entrants e ajouteArcSortant arc ajoute arc a la liste des Arcs sortants 35 translateDe x y d place le Noeud de x sur les abscisses et de y sur les ordonn es n Objet Impl mente l instanciation d une Classe du r seau utilis dans Jeton Attributs nom le nom de cette instance de Classe identifiant l identifiant de cet Objet classe la Classe qui est instanci e par cet Objet listeAttributs la liste des attributs de cet Objet sous forme de Vecteur celui ci est structur de cette mani re ler l ment le nom de l attribut sous forme de cha ne de caract res 2e l ment le type de l attribut c est un Vecteur si l attribut est la d finition d une num ration ou alors c est une cha ne de caract res qui peut tre entier string booleen reel ou le nom d une num ration d finie pr c demment 3e l ment l identificateur du type num r sous forme de chaine de caract res si d finition d une nouvelle num ration 4e l ment un bool en qui indique si l attribut est une liste ou non 5e l ment c est la valeur de l attribut c est un Vecteur si l attribut est une liste sinon c est une valeur ayant le type appropri M thodes getNomsAttributs renvoie la liste des noms des attributs sous la forme d
10. gal vrai si cette Place est d entr e ou de sortie 36 M thodes getType retourne le type de la Place sous forme de cha ne de caract re les valeurs possibles sont lerpossibilit normale 2e possibilit source 3e possibilit entree 4e possibilit puit 5e possibilit sortie 6e possibilit isole isMutant indique c est une Place d entr e ou de sortie fusionn e isFusion indique si il s agit d une Place fusionn e getJetons retourne le nombre de Jetons banalis s dans la Place si elle n en accepte pas retourne 1 estAccepte etiquette retourne si etiquette est accept e par cette Place ajoute etiquette ajoute etiquette listeEtiquette enleve etiquette enleve etiquette de listeEtiquette addJeton jeton ajoute jeton listeJeton removeJeton i enl ve le Jeton de rang i dans listeJeton setJetonAt jeton i met le Jeton jeton au rang i dans listeJeton addClone placeclone ajoute placeclone listeClone removeClone i enl ve la Place clone de rang i dans listeClone removeClone placeclone enl ve la Place clone placeclone de listeClone translateDe x y d place la Place de x sur les abscisses et de y sur les ordonn es equals o teste l galit entre cette Place et l Object o q PlaceClone Cette sp cialisation de Place impl mente les Places clones d un r seau Attribut superPlace
11. la Place originelle M thodes Toutes les m thodes ont t red finies afin de faire appel la Place d origine sauf en ce qui concerne les Arcs en effet les PlaceClone ont leur propre liste d Arcs r Transition Sp cialisation de Noeud cette classe impl mente les Transitions du r seau Attributs HAUTEUR DEFAUT la hauteur d une Transition sur le r seau LARGEUR DEFAUT la largeur d une Transition sur le r seau temps Vecteur contenant 3 chaines de caract res d crivant la fen tre temporelle la 1 correspond au premier temps de cette fen tre la 2 correspond au deuxi me temps la 3 correspond l unit s pour secondes ou ms pour millisecondes nomVerrou l ventuel nom du verrou associ cette Transition priorite la priorit de cette Transition par d faut 0 listePredicat la liste des conditions de cette Transition sous forme de Vecteur le 1 l ment de ce Vecteur est une cha ne de caract res d crivant la relation entre les termes non utilis ensuite ce sont des Vecteur de taille 3 qui sont de cette forme Argument1 Op rateur Argument2 listeAction la liste des actions de cette Transition sous forme de Vecteur est constitu e d une s rie de Vecteurs de taille 3 qui sont cette forme Argumenti Op rateur Argument2 M thodes getConflitPotentiel retourne vrai si la transition est en conflit potentiel avec une ou plusieurs autre transitons 37
12. la librairie o Mettre jour la librairie met a jour la librairie de classe partir du r seau courant o Vider la librairie supprime toutes les classes contenues dans la librairie e G n rer en XML g n re le R seau sous forme XML e Compiler en C C g n re une image C C du r seau courant e Mise En Page permet de mettre en page le R seau courant e Imprimer imprime le R seau courant e Fermer ferme le R seau courant e Quitter ferme l diteur 2 1 2 Edition Edition Annuler cr ation Place Ctrl z R tablir cr ation Transition Ctrl Y d Couper Ctrl Copier Ctri E A Coler Ctl Y X Supprimer Supprimer S lectionner Edition e Annuler annule la derni re action e R tablir r tablit la derni re action annul e Couper copie et supprime la s lection Copier copie la s lection Coller colle le contenu du presse papier Supprimer supprime la s lection S lectionner s lectionne l outil de s lection 2 1 3 Affichage Affichage v Palette Information v Classes Mom des Objets v R seau Miniature Zoom Affichage Palette cache ou affiche la palette graphique Information cache ou affiche la fen tre d information Classes cache ou affiche la fen tre d information des classes Nom des Objets active d sactive l affichage des noms des entit s du r seau R seau Miniature active d sactive l affichage des repr senta
13. ment vous en cr erez un nouveau 3 2 ModifList Cette boite de dialogue permet de modifier les l ments d une liste en utilisant des l ments d une autre liste Liste des Arcs Entrants Arcos gt Arc 353 Arcs pem Aregaz APCSE ARCOS 1Arc6dd Arcos valider Annuler La liste de gauche repr sente les l ments disponibles la liste de droite repr sente la liste a modifier gt rajoute un l ment s lectionn a gauche dans la liste de droite enleve l l ment s lectionn droite de la liste de droite 3 3 Poplnformation Cette boite de dialogue affiche quelques informations communes a tous les objets on l obtient en cliquant droit sur un objet et en cliquant sur Information si on clique droit ailleurs que sur un objet vous pourrez obtenir des informations sur le R seau 12 Transition l Transition Transition Transitions Position 140 160 UK Type affiche le type de l objet Nom affiche le nom de l objet ID affiche l identifiant l objet Position affiche la position de l objet OK valide le changement ventuel du Nom 13 4 Les entit s 4 1 Classe 4 1 1 Cr ation Dans le menu Dictionnaire s lectionnez Cr er Classe 7 Net Objed Editeur Graphique de R seaux de Pe as F Ekhier Edton Affichage Dictonnare Aide Mi cd Type D haa a E Modifier gt 0 m o No Cr er Noeud A Position Gerd AC epneratri
14. minuscule Si vous voulez initialiser les jetons objets du marquage de la Place s lectionnez un l ment dans chaque colonne puis cliquez sur Editer Cr er une bo te de dialogue sp cifique l attribut s ouvrira et vous pourrez choisir la valeur de l attribut du jeton objet s lectionn Si vous voulez utiliser les valeurs par d faut s lectionnez un n uplet gauche et cliquez sur Valider Pour ajouter un jeton s lectionnez lt BANALISE gt en haut gauche puis Validez 4 2 4 Notes Un rond au centre de la Place appara t lorsqu un jeton a t pos dans la Place si plus d un jeton a t mis dans la Place le nombre de jetons s affichera au centre de la Place Si la marque n est pas de type lt BANALISE gt alors lt gt s affichera au centre de la Place Une courte fleche entrante ou sortante de la Place signifie que cette Place est li e par un Arc de Fusion a une autre Place 4 3 Transition 4 3 1 Cr ation Dans la Palette cliquez sur l ic ne de cr ation de Transition 18 4 3 2 Modification Cliquez droit sur la Transition souhait e puis cliquez sur Modifier ou sur Information si vous voulez changer seulement le nom Nouveaud pe 1961 Informations Modifier Vous obtiendrez cette fen tre 19 Propri t de la Transition om Transition35r dentifiant osion A 1240 osition Y 11123 efrou AUCUN riorit 0 Modifier la Liste des Arcs Entr
15. n uplets accept s par la Place amont ou aval Vous pouvez ensuite s lectionner le n uplet de votre choix et nomm la variable en choisissant la Classe et le nom de la variable associ e avec le bouton OK et le champ qui est gauche Puis cliquez sur Ajouter pour ajouter cette variable la liste Pour changer la pond ration d un Arc il suffit d ajouter ou de supprimer des variables de type lt BANALISE gt il n est pas n cessaire de nommer ces variables 4 6 Arc inhibiteur 4 6 1 Cr ation Tout d abord vous devez avoir cr une Place et une Transition Puis dans la Palette cliquez sur l ic ne de cr ation d Arc Inhibiteur Cliquez sur la Place 26 Nouveau3 Pla Premier Noeud de l Arc Inhibiteur Puis sur la Transition pour cr er l Arc Inhibiteur Nouveau3 Deuxi me Noeud de l Arc Inhibiteur 4 7 Sous R seau 4 7 1 Cr ation Dans la Palette cliquez sur l ic ne de cr ation de Sous R seau Cliquez sur le R seau pour ouvrir la bo te de s lection de fichier 27 CREATION de sous RdP Rechercher dans a EditeurRdP ha test1 testpourx MLE test2 testpouiniMLe_e testirbre testxML testarbre2 testen vidde 1 test 1 viddez test 2 wide testhourxML wide testpourxML2 vierge testpourxML3 testpourxML4 testhourxML4_ 1 testhour ML S Nom de fichier Usine rdp Ourerir Fichiers du type Reseau de Petri rdpi Annuler Cliquez sur Ouvrir
16. pas la virgule Les cha nes de caracteres sont d limit es par Les listes sont d limit es par des parenth ses et les l ments sont s par s par une virgule 21 4 4 Arc Simple 4 4 1 Cr ation Tout d abord vous devez avoir cr une Place et une Transition Puis dans la Palette cliquez sur l ic ne de cr ation d Arc Simple Premier Noeud de l Arc Puis sur le deuxi me ici une Transition pour cr er l Arc Simple en rel chant le bouton entre les deux clics Si entre temps vous appuyez sur une portion vierge du r seau la cr ation de l Arc est automatiquement annul e Nouveau H S E Deuxi me Noeud de l Arc 52 161 22 4 4 2 Modification Cliquez droit sur l Arc Simple souhait puis cliquez sur Modifier Nouveau Vous obtiendrez cette fen tre Propri t de l Arc Position Posion Y valider Annuler e Si vous cliquez sur le bouton Modifier la Liste des Variables vous pourrez d finir la liste des variables de l Arc Variables de l Arc Liste des variables de l arc ff per Cr er Liste des n uplet La variable lt Fralseuse Percelses Fraseuse fraiseuse PerceLise perocuise Ajouter valider Annuler Cliquez sur Cr er pour afficher la liste des n uplets accept s par la Place amont ou aval Vous pouvez ensuite s lectionner le n uplet de votre choix et nommer la variable en 23 choisissant la Clas
17. BANALISE foc ELEERI po Los Eb Machine p scemmachine Doe OparabonEndCisuyre Enties f NG xs ES 7 s machinez attributs M thodes w j w TN Morr Typa Hom S 3anabura 4 a piece mainen s Y ko piece piges madhine z Fi intemadiais Cette aide accessible directement au sein de l diteur se compose de plusieurs parties L Editeur d crit et explique les fonctionnalit s de E NetObject Les Bo tes de Dialogue vous apprend utiliser les fen tres de l diteur Les Objets explique en d tail la cr ation modification d un objet du r seau Tutorial apprentissage de la cr ation de deux r seaux de Petri l un Objets et l autre banalis Note Ce rapport est un manuel d utilisation de l diteur E NetObject Le formalisme du mod le dit la s mantique des l ments du mod le sont pr sent s dans le rapport RR02180 Le noyau d ex cution de ce mod le est pr sent dans le rapport RR02182 2 L diteur 2 1 La barre de menu Cette barre de menu r unit les principales fonctions de l Editeur Es Net Object Editeur Graphique de R seaux de Pe Fichier Edition Affichage Dictionnaire Aide D gka 4 BEX 00 09 Figure 1 e Fichier contient les fonctions de manipulation de fichier et l diteur e Edition contient les fonctions d dition de l diteur e Affichage permet d afficher cacher la fen tre d information ou l
18. ES DUN RDPO Sa ES Aa an senior Nes 32 D 1 2 EINTERFACE DE LEDITEUR ass etes ias 39 O REFERENCES iia 44 1 Presentation E NetObject est un diteur graphique de r seaux de Petri objets crit en Java Il fait partie d une suite d applications Il vous permettra de cr er et d diter les r seaux de Petri les plus complexes Voici une liste non exhaustive de ses caract ristiques e Environnement d dition des plus complets Cr ation de la plupart des l ments d un RdP classique Place Transition Arc Arc Inhibiteur Arc de Fusion Sous R seau des jetons objets d un r seau de Petri a Objets Classes Objets Arborescence des Classes r utilisation etc l association de fonctions au mod le ou aux objets m thodes la duplication de place duplication au sens graphique Gestion des mod les g n riques a an O e G n ration XML d un r seau utilis e par les autres applications de E NetObject e Librairies de Classes e Et toutes les caract ristiques d un diteur d objets graphique Couper Copier Coller Supprimer Annuler R tablir Imprimer sous forme graphique ou textuelle Zoom etc Net Objedt Editeur Graphique de R seaux de Pe Adhie Edition Affichage Oictomare Ade ik mpe Dada a E Modifier Noeud o 10 j Cr er P fro Position Ho gelleFiece NoyvelleP ECE F gar n O B ve Ep Cho E p emiere Lite des Classes D
19. UR ari AAA A 5 2 1 EA BARRE DE MENU ocn 5 Zi ke FICHIER orrira a E E AS 5 2 12 EDITION A ENAA 6 Za ARENA E ai lan 6 Zika DICHONNA TRE nadar moe 7 2 ADE A Na 7 2 2 LABARRE D OUTILS camina 8 2 3 LA PALETTE GRAPHIQUE cuina sessumeneuesenshhesemuescne mignonne 8 2 4 LA FENETRE D INFORMATION mmmmmmmnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnns 9 2 5 LA FENETRE D INFORMATION DES CLASSES mmnnnnnnnnnnnnnnnnnnnnnnnnnss 9 2 6 LA FENETRE D EDITION cra aa aa aa 10 3 LES BOITES DE DIALOGUE a a 12 SL SELECTLES iii as 12 3 2 IMODIELIS Ti A a innocente 12 3 3 POPINFORMATI N siii a aaa 12 ds LES ENTITES AA 14 il CLASSE rrai a a 14 Als la CREATION usa as 14 Alza MODIFICATION aa A A O 16 4 2 PLACE sessions mio entente 16 RD CREATON SR Ra nee de ne ne Gin cn net ds ad On en 16 4 2 2 CREATION D UN CLONE sata an ane entente 16 Hz MODITIOA MONS En nie e ala 17 2 CE CO A EE TS 18 did TRANSITION A as 18 A EREATION SSSR cc ioe 18 4 522 MODIFICATION sn AA AAA AAA 19 4 ARC SIMPLE is ns ann a 22 AR CREATION iris 22 4 42 MODIFICATION a a AA A indesit 23 4 95 ARC DE TEST isis ia 24 Al CREATON A 24 Arz MODIFICATIO Nicolai idos 25 4 0 ARC INHIBITEUR iii a a 26 Air CREATION cr E A 26 4 7 SOUS RESEAU ua A la 27 Allo CREATION a O A 27 Ads MODIFICATION rara i sian AA TRATAR EA 28 49 ARCDE FUSTO Nucia 29 AOL CREATION sicario al ii aa 29 5 DOCUMENTATION cui 32 Jude EDITEUR DE RDP O uri 32 Saldo LESENTIT
20. a palette graphique ainsi que les noms des Objets e Dictionnaire contient les fonctions de modification cr ation de tous les objets du R seau e Aide permet d ouvrir la fen tre A Propos 2 1 1 Fichier Fichier D Nouveau Ctri M ES Ouvrir Colo Al Enregistrer Ctrl s Enregistrer sous Importer d Exporter d Librairie des Classes d ez G n rer en ML Compiler en E E Mise En Page S Imprimer Ctrl P Fermer Quitter Fichier Importer Importer un Mod le G n rique Fichier Exporter Exporter comme Mod le G n rique Librairie des Classes Changer de librairie Importer une classe Supprimer une classe Mettre jour la librairie vider la librairie Fichier e Nouveau ouvre un nouveau R seau de Petri e Ouvrir ouvre un R seau de Petri sauvegard e Enregistrer sauvegarde le R seau de Petri courant e Enregistrer sous sauvegarde le R seau de Petri courant sous un autre nom Fichier Importer o Importer un Mod le G n rique permet de modifier un Mod le G n rique Fichier Exporter o Exporter comme Mod le G n rique permet de sauvegarder le r seau courant en tant que Mod le G n rique Fichier Librairie o Changer de librairie change la librairie du r seau courant o Importer une classe importe une ou plusieurs classes de la librairie dans le r seau courant o Supprimer une classe supprime une ou plusieurs classes de
21. ants Modifier la Liste des Arcs Sortants Modifier la fen tre de Temps Modifier les Pr dicats Modifier les Actions valider Annuler Dans le champ Nom vous pouvez changer le nom de la Transition Dans le champ Verrou vous pouvez s lectionner associer un verrou pour cette Transition Dans le champ Priorit vous pouvez choisir la priorit de cette Transition e En appuyant sur l un des deux premiers boutons vous pourrez modifier la liste des Arcs Entrants Sortants de la Transition e Si vous cliquez sur le bouton Modifier la fen tre de Temps vous pourrez d finir l intervalle de la fen tre temporelle Fen tre de Temps al 5 Valider Annuler e Si vous cliquez sur le bouton Modifier les Pr dicats vous pourrez d finir les conditions pour cette Transition Modification de la Condition Liste des Termes troduree inf 45 Saisie d un Terme per etat egal arret Ajouter valider Annuler Vous devez remplir les deux champs avec des expressions valides du type constante nom variable f nom attribut nom variable nom methode nom vari ble nom methode kpressi n ewe 20 nom methode de USER DEF Evidemment les types doivent tre compatibles Vous ne pouvez pas entrer une expression de type op ration pour faire par exemple a monEnti er inf 4 3 vous devrez utiliser une m thode c monEntier inf PLUS 4 5 Note les constantes bool ennes sont true et fals
22. aract res e yetTypeAttr nomAttribut renvoie une cha ne de caract res donnant le type de l attribut ayant pour nom nomAttribut I Etiquette Cette classe impl mente les Etiquettes qui sont utilis es dans les Places et les Arcs Attribut e liste un Vecteur d finissant l tiquette il est structur de cette mani re ler l ment le nom ventuel de la variable en effet celui ci ne sert pas quand l Etiquette est associ e une Place 2e l ment la Classe correspondant la variable M thodes e get i renvoie le i objet de liste e size renvoie la taille de liste e equals o teste l galit avec l Object o e equalsClasse o teste l galit des Classes avec l Object o m Noeud Classe d finissant les Noeuds du r seau les Places et les Transitions Attributs e nom le nom du Noeud e identifiant l identifiant du Noeud e listeArcEntrant la liste des Arcs entrants dans ce Noeud sous la forme de Vecteur e listeArcSortant la liste des Arcs sortants de ce Noeud sous la forme de Vecteur e lieu la localisation du Noeud sous forme de LieuBoite e nomRdP le nom du r seau de Petri dans lequel se trouve ce Noeud M thodes e getType renvoie le type du Noeud sous forme de cha ne de caract res elle peut tre gale interne si il existe des Arcs entrants et sortants isole si il n existe pas d Arcs sortants ni d Arcs entrants source si il n
23. au reseau rdp encore une m thode r cursive elle permet de relier les sous r seaux leur p re copier copie le contenu de la s lection dans le presse papier de l Editeur couper coupe le contenu de la s lection dans le presse papier de l Editeur coller colle le contenu du presse papier de l Editeur dans la Page supprimer supprime le contenu de la s lection annuler annule la derni re action retablir r tablit la derni re action annul e stocke action stocke le r seau courant dans la pile apr s avoir effectu une action de nom action selection x y ajoute s lectionne l l ment qui se trouve au point x y ajoute qui est un entier d fini comme on ajoute cet objet la s lection selection xA xB yA yB ajoute s lectionne les l ments qui se trouvent dans la zone d finie par les points xA yA et xB yB ajoute qui est un entier d fini comme on ajoute ces objets la s lection 42 e dessineReseauComprime xA xB yA yB g c dessine un sous r seau de couleur c sur le rectangle d fini par xA yA et xB yB dans le Graphics a e dessineFusion xA xB yA vB g c dessine un Arc de fusion entre les points xA yA et xB yB de couleur c dans le Graphics a e dessineArc xA xB yA yB g c dessine un Arc entre les points xA yA et xB yB de couleur c dans le Graphics g e dessineArcTest xA xB yA vB g c dessine un Arc de Test entre les
24. ca Reseau verou in EntresPriece z y nn Y artributs Methe Geperatrica Mom Type Nom e Rh e Dans le champ Nom entrez le nom de la Classe e Dans le champ h rite de s lectionnez la Classe dont h rite cette Classe Propri te de la Classe a Nom machine h rite de cAucune iste des Attributs Liste des M thodes init Cr er Cr er hemin de la librairie EdDiversiProjetEditeurRdPitest lib Parcourir walider Annuler e Dans la zone des attributs gauche cliquez sur Cr er et vous obtiendrez la fen tre ci dessous comme pour la Classe entrez un nom pour l attribut Choisissez entre Type Simple et Type Enum r o Type Simple choisissez le type de votre attribut entier r el bool en string ou un type d fini pr c demment 14 Propri t de l Attribut Sn de lA tribute valeur Type Simple entier Type Enume r Valider Annuler o Type Enum r Entrez le nom de cette num ration puis entrez les valeurs Propri te de l Attribut Sn de lA tribute valeur Type Simple Type Enum r un deux Operation trojs valider Annuler e Pour chaque type d attribut simple ou num r vous pouvez sp cifier si c est une liste ou non en cochant la case en haut droite Une liste est un type structur d fini par un multi ensemble ordonn d l ments du m me type e Dans la zone des m thodes droite cliquez sur Cr er et vous obtiendre
25. de x sur les abscisses et de y sur les ordonn es e translateDepartDe x y d place le point de d part de l Arc de x sur les abscisses et de y sur les ordonn es g ArcTest Cette classe caract rise les Arcs de Test d un r seau C est une sp cialisation de la classe Arc ainsi tous les attributs et les m thodes proviennent de Arc a part getType qui a t red finie pour renvoyer te Attributs 33 M thode getType renvoie le type de Arc te h Inhibiteur Cette classe caract rise les Arcs inhibiteurs d un r seau C est une sp cialisation de la classe Arc ainsi tous les attributs et les m thodes proviennent de Arc a part getType qui a t red finie pour renvoyer in Attributs M thode e getType renvoie le type de Arc in i ArcFusion Ce type d Arc qui n a pas du tout le m me sens que les Arcs normaux ou inhibiteurs permet de fusionner deux places ou deux transitions qui ne sont pas dans le m me r seau Attributs e identifiant l identifiant de l Arc de fusion sous forme de cha ne de caract res e noeudDepart premi re Place ou Transition de la fusion e noeudArrive deuxi me Place ou Transition de la fusion e rdpDepart le RdPComposite dans lequel se trouve la premi re Place respectivement Transition de la fusion e rdpArrive le RdPComposite dans lequel se trouve la deuxi me Place respectivement Transition de la fusion e lieu l
26. e Le symbole d cimal pour les r els est le point et non pas la virgule Les cha nes de caracteres sont d limit es par Les listes sont d limit es par des parenth ses et les l ments sont s par s par une virgule e Si vous cliquez sur le bouton Modifier les Actions vous pourrez d finir les actions pour cette Transition Modification de l Action Liste des Actions machine Liniti Saisie d une Action IE Appel un op rateur Expression machinel duree recoit 45 machinel duree Appel une m thode Ajouter valider Annuler Appel un op rateur Le premier champ doit tre du type nom variable f nom attribut le ou les autres champ s selon que l on coche Expression ou non doivent tre du type constante nom variable nom attribut nom variable nom methode nom variable nom methode expression ese nom methode de USER DEF Evidemment les types doivent tre compatibles Donc pour modifier la valeur d un attribut il faut proc der comme sur la capture d cran Appel une m thode Doit tre du type nom variable nom methode nom variable nom methode expressl n ly s nom methode de USER DEF Evidemment dans ce dernier cas il est conseill que la m thode soit une m thode de type void car le r sultat sera perdu Note les constantes bool ennes sont true et false Le symbole d cimal pour les r els est le point et non
27. e Vecteur getValAttributs renvoie la liste des valeurs des attributs sous la forme de Vecteur setElementAt obj i met l Object obj au rang i dans listeAttributs size renvoie la taille de listeAttributs equals o teste l galit de o avec cet Objet update met jour la liste des attributs en fonction de classe init initialise listeAttributs avec des valeurs par d faut o Jeton Cette classe repr sente les tuples d Objets Attributs identifiant la chaine de caract re identifiant ce Jeton listeObjet la liste d Objet de ce Jeton sous forme de Vecteur M thodes getNom renvoie la liste des noms des Objets contenus dans listeOb jet getClasses renvoie la liste des Classe des Objets contenus dans listeObjet getNomsAttributs renvoie un Vecteur contenant la liste des noms des attributs des Objets de listeObjet p Place Cette sp cialisation de Noeud impl mente les Places du r seau Attributs HAUTEUR DEFAUT la hauteur d une Place sur le r seau LARGEUR DEFAUT la largeur d une Place sur le r seau listeArcFusionEntrant la liste des Arcs de fusion entrants dans cette Place listeArcFusionSortant la liste des Arcs de fusion sortants de cette Place listeEtiquette la liste des tiquettes associ es a cette Place listeJeton la liste des Jetons de cette Place c est le marquage listeClone la liste des clones de cette Place communication bool en qui est
28. est affichable sur la Page print g pf pi m thode permettant de d imprimer la Page creerPlace xA yA cr e une Place dont le centre sera en xA yA creerPlaceClone xA yA cr e une Place clone dont le centre sera en xA yA creerTransition xA yA cr e une Transition dont le centre sera en xA yA creerArc xA yA xB yB cr e un Arc dont le d part sera en xA yA et l arriv e en xB yB creerInhibiteur xA yA xB yB cr e un Arc inhibiteur dont le d part sera en xA yA et l arriv e en xB yB creerFusion xA yA xB yB cr e un Arc de fusion dont le d part sera en xA yA et l arriv e en xB yB creerSousReseau xA yA cr e un sous r seau dont le centre sera en xA yA En fait cette m thode ne fait qu ouvrir une bo te de dialogue permettant de choisir le r seau ouvrir en tant que sous r seau le r seau sera cr effectivement qu avec la m thode ci apr s actualiserSousReseau aActualiser actualise le RdPComposite aActualiser a partir de son chemin de sauvegarde creerSousReseau path xA yA m thode cr ant un sous r seau qui est situ au chemin path dont le centre sera en xA yA renommageSousReseau res fiy nomPere renomme r cursivement les r seaux de res avec nomPere comme nom de base n est utilis pour savoir quelle profondeur se trouve res fusionneLib rezo fusionne la librairie de Classe du r seau de la Page avec celle de rezo relieRese
29. ffich il n est pas possible d afficher le sous r seau d un r seau B ouvert dans une autre fen tre e infoClasses la fen tre d information des Classes InfoClasses 39 e propriete la fen tre de Propriete e information la fen tre d Information e fenetreActive l Afficheur contenant le r seau courant e lastDirectory le chemin du dernier r pertoire ouvert e pressepapier Vecteur contenant la s lection copier ou couper par une Page Bien d autres attributs existent mais il n est pas int ressant d en faire la liste ici M thodes e nouveau cr e un Afficheur associ un nouveau RdP vide e ouverture openRdP chemin visible ouvre le RdP openRaP dont le chemin de sauvegarde est chemin dans un Afficheur qui sera visible selon la valeur de visible e ouvertureSousReseau openRdP chemin fichier ouvre le sous r seau openRaP dont le chemin de sauvegarde est chemin Le param tre fichier sp cifie si le sous r seau a t charg partir d un fichier ou pas e changeLib ouvre une boite de dialogue permettant de changer la librairie de Classe du r seau courant e importClasse permet d importer une Classe de la librairie vers le r seau e supprClasse ouvre une boite de dialogue qui permet de supprimer une Classe de la librairie e majLibrairie met jour la librairie de Classe partir des Classes du r seau e viderLibrairie vide la librairie du r seau courant de tou
30. int B en fonction e translateADe x y d place le point A de x sur les abscisses et de y sur les ordonn es e translateAEn x y positionne le point A en x y e translateBDe x y d place le point B de x sur les abscisses et de y sur les ordonn es e translateBEn x y positionne le point B en x y e appartient x y e d tenine si le point x y se trouve dans le rectangle d fini pas les points A et B e appartient xa ya xb yb d termine si le Lieu d fini par les points xa ya et xb yb se trouve dans le rectangle d fini par les points A et B f Arc Cette classe d finit l l ment Arc du r seau Attributs e identifiant l identifiant de l Arc sous forme de cha ne de caracteres e listeEtiquette la liste des tiquettes de l Arc sous forme de Vecteur d Etiquette e noeudDepart le n ud de d part de l Arc sous forme de Noeud e noeudArrive le n ud d arriv e de l Arc sous forme de Noeud e lieu l endroit ou se trouve l Arc sous forme de LieuArc M thodes e getType donne le type de l Arc sous forme de cha ne de caract res Renvoie tp si c est un Arc de type Transition gt Place ou alors pt si c est un Arc de type Place gt Transition e getJetons renvoie un entier donnant le nombre de Jetons banalis s pouvant passer par cet Arc renvoie 1 si cet Arc ne peut faire passer de Jetons banalis s e translateArriveDe x y d place le point d arriv e de l Arc
31. ion de R seaux de Petri Objets RR L I R M M n 02182 44
32. ion des r seaux compos s d un ou plusieurs sous r seaux Attributs e listerdP la liste des RdP de ce RAPComposite cf RRO2180 e listeArcFusion la liste des Arcs de fusion de ce RdPComposite e listeArcFusionEntrant la liste des Arcs de fusion entrants dans ce RdPComposite e listeArcFusionSortant la liste des Arcs de fusion sortants de ce RdPComposite M thode e getRdPComposite nom renvoie le RdPComposite ayant pour nom nom 5 1 2 L interface de l diteur L interface graphique a donc t d velopp e en Java avec la librairie Swing Voici la description non exhaustives des principales classes mises en uvre a Editeur C est la classe principale de l diteur C est une sp cialisation de JFrame et elle impl mente MouselnputListener ActionListener WindowListener MenuListener KeyListener C est elle qui contient la MenuBar la ToolBar ainsi que la GraphicBar voici une description plus d taill e Attributs e menuBar la barre de menu de menu de l diteur e toolBar la barre d outils de l diteur e graphicBar la palette graphique de l diteur e fenetreVerrou la fen tre qui permet de cr er un Verrou e listeFenetre la liste des Afficheurs qui sont ouverts dans cet Editeur e listeSousReseau la liste des sous r seaux ouverts il n est pas possible d ouvrir plusieurs sous r seaux de r seaux diff rents En d autres termes lorsqu un sous r seau d un r seau A est a
33. n nouveau R seau de Petri ouvre un R seau de Petri sauvegard sauvegarde le R seau de Petri courant g n re le R seau sous forme textuelle imprime le R seau courant copie et supprime la s lection coupe copie la s lection colle le contenu du presse papier supprime la s lection annule la derni re action r tablit la derni re action annul e ferme le r seau courant 2 3 La palette graphique NA ne fait rien bo s lectionne l outil de s lection s lectionne l outil de cr ation de Place Q El s lectionne l outil de cr ation de Transition _ s lectionne l outil de cr ation d Arc Simple W s lectionne l outil de cr ation d Arc de Test _ s lectionne l outil de cr ation d Arc Inhibiteur 2 s lectionne l outil de cr ation d Arc de Fusion C s lectionne l outil de cr ation de Sous R seau Al s lectionne l outil de cr ation de Macro Place pas encore impl ment 2 4 La fen tre d information Receptrice l Ype Place interne mutante ID Place O Position 292 1961 lt BAMNA aLTIsE gt fusion avec Nouveaul1_snO_1 Places 0 Barre de titre affiche le nom de l objet point si possible Type affiche le type de l objet point ID affiche l identifiant l objet point Position affiche la position de l objet point Infos suppl mentaires 1 affiche des informations suppl mentaires en fonction de l objet p
34. nom de l attribut sous forme de cha ne de caracteres 34 2e l ment le type de l attribut c est un Vecteur si l attribut est la d finition d une num ration ou alors c est une cha ne de caract res qui peut tre entier string booleen reel ou le nom d une num ration d finie pr c demment 3e l ment l identificateur du type num r sous forme de chaine de caracteres si d finition d une nouvelle num ration 4e l ment un bool en qui indique si l attribut est une liste ou non e listeFonction la liste des m thodes sous forme d un Vecteur de Methode e superClasse Classe m re si pas de Classe m re c est gal a null M thodes e getListeAttributS renvoie la liste de tous les attributs en ajoutant celles des Classes m res sous forme de Vecteur voir listeAttribut pour voir la structure e getListeFonctionS renvoie la liste de toutes les fonctions en ajoutant celles des Classes m res sous forme de Vecteur de Methode e getEnum renvoie le Vecteur des d finitions d num ration de cette mani re ler l ment le Vecteur contenant les Valeurs de l num ration sous forme de cha nes de caract res 2e El ment le nom de l num ration e getEnum nomEnum renvoie le Vecteur des valeurs de l num ration de nom nomEnum e getTypesEnum renvoie un Vecteur contenant le nom des toutes les num rations d finies dans cette Classe sous forme de cha ne de c
35. oi renvoie sous forme de chaine de caract res le nom de la classe de l objet b SuperLieu Cette classe abstraite est la classe m re de tous les l ments graphiques d un r seau de Petri Elle ne contient donc aucun Attribut ou M thode significatif Attributs M thodes c Lieu Cette classe abstraite est la classe m re des classes LieuArc et LieuBoite Attributs xA yA xB yB d finit les coordonn es des points A et B M thodes translateDe x y d place le Lieu de x sur les abscisses et de y sur les ordonn es translateEn x y positionne le point A en x y et positionne le point B en fonction translateADe x y d place le point A de x sur les abscisses et de y sur les ordonn es translateAEn x y positionne le point A en x y translateBDe x y d place le point B de x sur les abscisses et de y sur les ordonn es translateBEn x y positionne le point B en x y appartient x y d termine si le point x y se trouve dans la zone d finie par les points A et B appartient xa ya xb yb d termine si le Lieu d fini par les points xa ya et xb yb se trouve dans la zone d finie par les points A et B d LieuArc Cette classe d finit o se trouve un Arc le point A est le point de d part de l Arc et le point B est le point d arriv e de cet Arc Attribut Erreur d termine la marge d erreur lorsque l on veut d terminer si une entit se tro
36. oint e Infos suppl mentaires 2 affiche des informations suppl mentaires en fonction de l objet point en g n ral propos des r seaux g n riques 2 5 La fen tre d information des classes Information des Classes E Liste des Classes A BANALISE e USER DEF o Fralseuise o Perceuise Y Piece Attributs Methodes Mom Type Mom Signature duree entier init void etat etats En cliquant sur le nom d une classe de l arbre les informations concernant les attributs et les m thodes s afficheront en bas En double cliquant sur le nom d une classe vous pourrez modifier ses propri t s 2 6 La fen tre d dition EN Exemple E Divers Projet EditeurkdPttutorial rdp si H BH E Y ellePiece pat aus piece Entree tockIntermediaife machine DebhutOperation Dehnors O 24 1 e Barre de Titre affiche le nom et le chemin de sauvegarde du r seau e Barre de statut droite affiche les coordonn es du pointeur gauche affiche certaines informations e Description Ce r seau est compos de o 15 Places distinctes ronds bleus dont 8 dans les Sous R seaux 7 Transitions rectangles rouges dont 2 dans les Sous R seaux 23 Arcs Simples fl ches vertes dont 8 dans les Sous R seaux O Arcs Inhibiteurs fl ches vertes avec un rond vert au milieu O Arcs de Test doubles fl ches vertes 2 Arcs de Fusion fl ches brunes dont 2 dans les Sous R seaux 2 So
37. ous forme de JTree e nomAttr liste contenant le nom des attributs de la Classe s lectionn e dans arbre c est une JList e typeAttr liste contenant le type des attributs de la Classe s lectionn e dans arbre c est une JList e nomMeth liste affichant le nom des m thodes de la Classe s lectionn e dans arbre c est une JList 40 signMeth liste affichant la signature des m thodes de la Classe s lectionn e dans arbre C est une JList selection la Classe qui est s lectionn e dans l arborescence des Classes arbre papa l Editeur qui est associ cette instance M thodes init x y initialise la fen tre la position x y modifClasse r path m thode appelant la fen tre de Propriete pour la Classe qui est au bout de path lorsque l on double clique sur une Classe de l arborescence remplirArbre liste construit une liste chain e d finissant la hi rarchie des Classes partir de liste qui est un Vecteur contenant des Classes Et pour chaque Classe c n ayant pas de parent appelle remplirArbre la m thode suivante avec c la liste chain e d finissant la structure de l arbre la liste des Classes liste et l indice de la Classe c dans le Vecteur liste qui est le m me que dans la liste chain e remplirArbre noeud structure liste index m thode r cursive appel e par la pr c dente ajoutant aux fils de noeud un DefaultMutableTreeNode un noeud contenant la Classe d indice index dan
38. s liste puis qui fait appel elle m me avec la m me structure et la m me liste mais avec le noeud qui vient d tre ajout et son index dans liste et S LCUCEU maj liste m thode repeuplant l arbre avec liste en faisant appel remplirArbre maj appelle affichage avec la selection courante affichage classe m thode remplissant nomAttr typeAttr nomMeth et signMeth en fonction de classe d Afficheur Comme l Editeur cette classe h rite de JFrame et elle impl mente KeyListener MouselnputListener ActionListener WindowListener PopupMenuListener C est classe qui contient la Page Attributs scroll composant de type JScrollPane qui contient page qui elle m me contient le r seau Il permet de g rer le d filement de la Page page la Page contenant le r seau et qui est charg e de cr er et de dessiner celui ci status l un des composants un JLabel de la barre de statut c est celui de gauche affichant des informations relatives au d placement d objets ou leur cr ation etc statusPos l autre composant de la barre de statut c est celui de droite affichant la position du pointeur de la souris comme status c est un JLabel contextHelp la fen tre permettant d afficher l aide contextuelle textAreaHelp le composant texte un JTextArea qui affiche le texte de l aide contextuelle helpPanel le composant un JPanel contenant textAreaHelp il est lui m me dans contextHelp
39. se et le nom de la variable associ e avec le bouton OK et le champ qui est gauche Puis cliquez sur Ajouter pour ajouter cette variable la liste Pour changer la pond ration d un Arc il suffit d ajouter ou de supprimer des variables de type lt BANALISE gt il n est pas n cessaire de nommer ces variables 4 5 Arc de Test 4 5 1 Cr ation Tout d abord vous devez avoir cr une Place et une Transition Puis dans la Palette cliquez sur l ic ne de cr ation d Arc de Test Premier Noeud de l Arc Puis sur le deuxi me ici une Transition pour cr er l Arc de Test en rel chant le bouton entre les deux clics Si entre temps vous appuyez sur une portion vierge du r seau la cr ation de l Arc est automatiquement annul e 24 Nouveau Deuxi me Moend de l Arc 4 5 2 Modification Cliquez droit sur l Arc de Test souhait puis cliquez sur Modifier Nouveau Informations di Modifier Vous obtiendrez cette fen tre Propri t de l Arc Pasan A Posion Y Valider Annuler e Si vous cliquez sur le bouton Modifier la Liste des Variables vous pourrez d finir la liste des variables de l Arc 25 Varlables de l Arc Bi Liste des variables de l arc lt Tr per gt Cr er Liste des n uplet La variable lt FralseLse Percelses Fraseuse fraiseuse PerceLise perocuise Ajouter Valider Annuler Cliquez sur Cr er pour afficher la liste des
40. t concatene le r sultat dans un Vecteur getTypeAttr nomClasse nomAttribut renvoie le type de l attribut nomAttribut de la Classe nomClasse getArc id renvoie le premier Arc ayant pour identifiant ia dans les r seaux de RdP getArc i renvoie le premier Arc ayant le rang i dans la liste des Arcs des r seaux de RdP getNoeud nom renvoie le premier Noeud ayant pour nom nom dans les r seaux de RdP getNoeud i renvoie le premier Noeud ayant le rang i dans la liste des Noeuds des r seaux de RdP getPlace nom renvoie la premi re Place ayant pour nom nom dans les r seaux de RdP getPlace i renvoie la premi re Place ayant le rang i dans la liste des Places des r seaux de RdP getTransition nom renvoie la premi re Transition ayant pour nom nom dans les r seaux de RdP getTransition i renvoie la premi re Transition ayant le rang i dans la liste des Transitions des r seaux de RdP getClasse nom renvoie la Classe ayant pour nom nom getClasse i renvoie la premi re Classe ayant le rang i dans la liste des Classes des r seaux de RdP dictionnaire renvoie tous les l ments des r seaux de RdP les uns la suite des autres dans cet ordre les Classes les Arcs les Places les Transitions dictionnaireAffichage renvoie tous les l ments des r seaux de RdP les uns la suite des autres dans cet ordre les Places les Transitions les Arcs existeNom type nom retourne vrai si un
41. tes ses Classes Evidemment cette classe contient bien d autres m thodes elle g re certains v nements clavier souris fen tre mais elle initialise la barre de menu etc b Information Cette fen tre affiche les informations concernant l l ment point par la souris C est une sp cialisation de JDialog Attribut e typ2 JTextField affichant le type de l l ment par exemple Place source Transition etc e ide2 JTextField affichant l identifiant de l l ment point e pos2 JTextField dans lequel s affiche la position de l l ment point e info2 JTextField qui affiche des infos particuli res certains l ments comme les Jetons pour les Arcs les Classes accept es pour les Places etc e info3 ce JTextField affiche pour Place celle s avec qui elle est ventuellement fusionn e e papa l Editeur qui est associ e cette instance Cette classe contient d autres attributs comme des JLabel ou un gestionnaire de placement M thodes e init x y initialise la fen tre la position x y e affichage met jour l affichage des informations c InfoClasses Cette fen tre affiche des informations relatives au r seau courant Cette classe est une sp cialisation de JDialog et impl mente ListSelectionListener TreeSelectionListener Attributs e racine la racine de l arbre sous forme de DefaultMutableTreeNode e arbre composant affichant l arborescence des Classes du r seau courant s
42. tions miniatures des sous r seaux e Zoom permet de choisir une chelle pour le r seau courant allant de 50 100 avec un pas de 10pts 2 1 4 Dictionnaire Dictionnaire Modifier Cr er Dictionnaire Modifier Moeud Arc d Classe Dictionnaire Modifier N ud Place Transition Dictionnaire Modifier Arc simple Test Inhibiteur Dictionnaire Cr er Classe Werrou Dictionnaire Dictionnaire Modifier Noeud Place ouvre une fen tre permettant de s lectionner une Place modifier Transition ouvre une fen tre permettant de s lectionner une Transition modifier Dictionnaire Modifier Arc Simple ouvre une fen tre permettant de s lectionner un Arc Simple modifier Test ouvre une fen tre permettant de s lectionner un Arc de Test modifier Inhibiteur ouvre une fen tre permettant de s lectionner un Arc Inhibiteur modifier Dictionnaire Modifier Classe o Classe ouvre une fen tre permettant de s lectionner une Classe modifier Dictionnaire Cr er o Classe cr e une Classe o Verrou cr e un Verrou 2 1 5 Aide Aide propos Aide Aide e A propos affiche une fen tre d information sur l Editeur e Aide affiche ce manuel au format HTML 2 2 La barre d outils Net Object Editeur Graphique de R seaux de Fe L Fichier Edition Affichage Dictionnaire Aide Hi ii A D e sel se A ES ig x u Cu x ouvre u
43. ts Modifier la Liste des Arcs Sortants Modifer les classes de la Place Modifier le marquage de la Place Valider Annuler e En appuyant sur l un des deux premiers boutons vous pourrez modifier la liste des Arcs Entrants Sortants de la Place Attention Nous vous d conseillons d ajouter un Arc dans l une des deux listes sans en mesurer l impact sur le mod le dit e Si vous cliquez sur le bouton Modifier les classes de la Place vous pourrez d finir quels sont les n uplets de Classes que la Place accepte voir ModifListe et SelectListe e Enfin le dernier bouton vous permet de modifier le marquage initial de la Place 17 Choix de la classe Instancier 2 o Etiquettes de la Place Classes associ es Attributs de la Classe lt Machine gt Machime Machine duree OK Editer Cr er Valider Annuler A gauche se trouve la liste des classes admises par la Place Si vous s lectionnez un l ment dans la liste de gauche le n uplet associ s affichera dans la liste du milieu cette liste est s par e en deux colonnes dans celle de gauche c est le nom de la Classe droite c est le nom de la marque associ e la Classe La liste de droite affiche la liste des attributs correspondant la Classe s lectionn e dans la liste du milieu Vous pouvez changer le nom de la marque en s lectionnant l l ment en entrant le nom dans le champ du milieu et cliquez sur OK Sinon le nom par d faut sera le nom de la Classe en
44. us R seaux grands carr s bruns dont 1 dans un Sous R seau O O O OOO 10 Des barres de d filement apparaissent dans ce cas car la Place Dehors est hors du cadre en bas a droite e La Place en pointill repr sente un clone une duplication graphique de la Place NouvellePiece en haut gauche Conceptuellement ces deux Places n en repr sentent qu une De m me un Arc de Fusion est utilis entre deux Places pour les fusionner ainsi si 4 Places sont li es par des Arcs de Fusion cet ensemble n en repr sentera qu une Dans les deux cas une Place et ses clones Places li es par des Arcs de Fusion le nouvel ensemble des Arcs sera l union de l ensemble des Arcs des Places fusionn es ou clon es e Les Places d entr e sortie ont un fond respectivement rouge vert e Les l ments en orange sont les l ments s lectionn s par l utilisateur La cr ation d un nouvel objet induit automatiquement la s lection de ce nouvel objet i e l ensemble des objets pr c demment s lectionn s ne l est plus 11 3 Les boites de dialogue 3 1 SelectList Cette bo te permet de s lectionner un ou plusieurs l ments dans une liste donn e LISER _CEF Machine FralseLise PerceLise Piece Valider Annuler S lectionnez les l ments en les cliquant pour d s lectionner un l ment cliquez dessus en appuyant sur la touche Ctrl Puis validez ou annulez Dans la plupart des cas si vous ne s lectionnez aucun l
45. uve dans ce Lieu voir les m thodes appartient M thodes translateDe x y d place le Lieu de x sur les abscisses et de y sur les ordonn es translateEn x y positionne le point A en x y et positionne le point B en fonction translateADe x y d place le point A de x sur les abscisses et de y sur les ordonn es translateAEn x y positionne le point A en x y translateBDe x y d place le point B de x sur les abscisses et de y sur les ordonn es 32 e translateBEn x y positionne le point B en x y e appartient x y d termine si le point x y se trouve entre les points A et B Erreur pres Pour cela on calcule la distance AM entre les points A et x y la distance BM entre les points B et x y et la distance AB entre les points A et B Si AM BM est inf rieur a AB Erreur alors le point est consid r comme appartenant au LieuArc e appartient xa ya xb yb d termine si le Lieu d finit par les points xa ya et xb yb se trouve dans la zone d finie par les points A et B e LieuBoite Cette classe d finit o se trouve un Noeud ou un sous r seau le point A d finit le coin sup rieur haut et B d finit le point inf rieur droit ceci est cens tre assur par l objet lui m me Attributs M thodes e translateDe x y d place le Lieu de x sur les abscisses et de y sur les ordonn es e translateEn x y positionne le point A en x y et positionne le po
46. z la fen tre ci dessous comme pour la Classe entrez un nom pour la m thode Entrez la signature exemples entier booleen liste de string liste de operation reel liste de string Appuyer sur le bouton Parcourir pour entrez le chemin du fichier contenant le code de cette m thode Propri t de la M thode om de la M thode init Signature de la M thode void 6 ode de la M thode WSER DEF cop Parcourir Valider Annuler Recommencez pour cr er d autres attributs m thodes 15 4 1 2 Modification Proc dez de la m me mani re mais en s lectionnant l attribut m thode que vous voulez diter supprimer Remarque pour d s lectionner un objet de la liste appuyez sur Ctrl et cliquez sur l l ment 4 2 Place 4 2 1 Cr ation Dans la Palette cliquez sur l ic ne de cr ation de Place Cliquez sur le R seau pour cr er la Place Nouveau3 1 2 0 PlacelO072 4 2 2 Cr ation d un Clone D placez la Place voulue avec le bouton droit Nouveau3 PlacelO07r2 gel e 16 4 2 3 Modification Cliquez droit sur la Place souhait e puis cliquez sur Modifier ou sur Information si vous voulez changer seulement le nom Nouveau3 22 PlacelO72 b Informations Modifier Vous obtiendrez cette fen tre Propri t de la Place om i Placei0 2 dentifiant osion A 11034 osion Y 151 pe Modifier la Liste des Arcs Entran
Download Pdf Manuals
Related Search