1. #1
    Robot Forum
    Avatar de forum
    Inscrit en
    novembre 1999
    Messages
    1 925
    Détails du profil
    Informations forums :
    Inscription : novembre 1999
    Messages : 1 925
    Points : 1 989
    Points
    1 989

    Par défaut Un éditeur de réseau de places et transitions (Petri Net)

    Bonjour,

    Je vous propose un nouvel élément à utiliser : Un éditeur de réseau de places et transitions (Petri Net)

    Un réseau de places et transitions est un réseau de Petri (Petri Net ou RdP) généralisé et non coloré (sans extensions).

    L'application PTNET Editor permettra de dessiner graphiquement un tel réseau, de l'animer, de l'analyser en construisant et visualisant son graphe de couverture/accessibilité, de le convertir en fichier image et de le sauvegarder en tant que document PNML.



    L'application a été développée et testée sous GNU/Linux OpenSUSE 12.3 (KDE). Mais puisque tous les frameworks utilisés sont multiplateformes vous pouvez la compiler et exécuter sous Windows aussi.



    1.Compiler l'application



    L'application est basé sur le Framework Qt 4.8.4 et utilise aussi:

    • Boost Graph Library 1.49 (BGL) pour construire le graphe de couverture/accessibilité d'un RdP (classe graphgenerator.cpp)
    • la bibliothèque GraphViz 2.28 pour le visualiser le graphe convenablement (classe graphvisualize.cpp).


    Donc vous devez installer ces bibliothèques pour compiler le code source.



    2. PNML

    PNML (Petri Net Markup Language) est un format standard d'échange des réseaux de Petri. L'application utilise ce standard.



    Vous pouvez télécharger le grammaire (spécification) de ce language ici: http://www.pnml.org/grammar.php.



    Le grammaire PNML est décrit en langage RELAX NG (.rng). Celui ci est un langage de description

    de document XML alternative de XML Schema. RELAX NG n’est pas supporté par le module

    XML de la bibliothèque Qt. Donc on doit convertir les fichiers du format RNG eu format XSD.



    D'autre part notre application est un éditeur de RdP sans extensions. Donc nous somme pas besoin de tous les fichiers de grammaire téléchargés. On va juste utiliser 4:

      1. pnmlcoremodel.rng : Contient la définition de PNML Core Model.


      1. ptnet.rng : ptnet.xsd : Contient les déclarations des types ajoutées par les réseau de places et transitions : initialMarking (marquage initial d’une place) et inscription (poids d’un arc).


      1. anyElement.xsd : Utilisé pour définir une grammaire non fournie par le standard PNML.

        Dans notre cas ceux sont les éléments ToolInfo.


      1. conventions.rng: utilisé par ptnet.rng





    Trang est un outil libre permettant de convertir des schémas RELAX NG en XML Schema. Téléchargez le depuis cette page :http://code.google.com/p/jing-trang/downloads/list.



    Comment convertir des rng en xsd ?



    1. Dans le répertoire /home/~Download/Trang, créeez un dossier et le nommez rng.

    2. Créez un autre dossier dans le même répertoire /home/~Download/Trang et le nommez <B>xsd<B>.

    3. Copiez les 4 fichiers rng dans le dossier rng.

    4. Pour convertir les 4 fichiers en xsd, utilisez la commande : java -jar trang.jar -I rng -O xsd rng/ptnet.rng xsd/ptnet.xsd

    .

    5. les fichiers rng sans maintenant convertis en fichier xsd et copiés dans le dossier xsd.



    L'application va utiliser les 4 fichiers xsd pour valider un document PNML décrivant en RdP



    Donc, vous devez procéder comme suit:













    Qu'en pensez-vous ?

  2. #2
    Nouveau Candidat au Club
    Inscrit en
    juillet 2009
    Messages
    1
    Détails du profil
    Informations forums :
    Inscription : juillet 2009
    Messages : 1
    Points : 1
    Points
    1

    Par défaut Erreur symbol(s) not found for architecture x86_64

    Bonjour,
    J'ai télécharger l'éditeur de Petri Net que j'essai de compiler sur un mac. J'en viens à une erreur : symbol(s) not found for architecture x86_64
    Que faire dans ce cas. Merci

  3. #3
    Membre éprouvé

    Homme Profil pro
    Ingénieur systèmes et réseaux
    Inscrit en
    novembre 2012
    Messages
    89
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Tunisie

    Informations professionnelles :
    Activité : Ingénieur systèmes et réseaux
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : novembre 2012
    Messages : 89
    Points : 969
    Points
    969
    Billets dans le blog
    1

    Par défaut Compilation du projet avec x86_64

    Vous pouvez maintenant compiler le projet pour une architecture 64-bit.

Discussions similaires

  1. Traduire un réseau de petri(petri net) en langage PNML
    Par soussou80 dans le forum NetBeans
    Réponses: 0
    Dernier message: 20/01/2011, 17h15
  2. Traduire un réseau de petri(petri net) en PNML
    Par soussou80 dans le forum ALM
    Réponses: 0
    Dernier message: 20/01/2011, 17h11
  3. Réponses: 9
    Dernier message: 28/10/2008, 19h05
  4. Mise en place IHM avec vb.net
    Par DiamonDonald dans le forum VB.NET
    Réponses: 3
    Dernier message: 18/02/2008, 10h43
  5. [Réseau] A propos de la commande « Net Send »
    Par Furius dans le forum Administration
    Réponses: 23
    Dernier message: 06/10/2005, 13h12

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo