Téléchargé 84 fois
Vote des utilisateurs
0 
0
Détails
Licence : GPL
Mise en ligne le 23 janvier 2017
Plate-forme :
Linux
Langue : Anglais
Référencé dans
Navigation
Un éditeur de réseau de places et transitions (RdP)
Un éditeur de réseau de places et transitions (RdP)
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/editer 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 PTNET Editor permettra de dessiner/editer 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.
Nos ressources disponibles
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
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
Vous pouvez maintenant compiler le projet pour une architecture 64-bit.
Developpez.com décline toute responsabilité quant à l'utilisation des différents éléments téléchargés.