Je suis à la recherche d'un simulateur de réseaux de Petri avec un éditeur graphique pour Ubuntu.
Quelqu'un sait-il s'il existe un tel outil ?
Réponses
Trop de publicités?
vassie
Points
406
Essayez ceci : http://sourceforge.net/projects/pipe2/
Rinzwind
Points
270388
Le réseau de Petri à arc temporel (TAPN) est une extension temporelle du modèle classique de réseau de Petri. <..> L'outil TAPAAL offre un éditeur graphique pour dessiner les modèles TAPN, simulateur pour l'expérimentation des réseaux conçus et un environnement de vérification environnement de vérification qui répond automatiquement aux requêtes logiques formulées dans un un sous-ensemble de la logique CTL (essentiellement des formules EF, EG, AF, AG sans imbrication). Il permet également à l'utilisateur de vérifier si un réseau donné est limité par k pour un nombre k donné. pour un nombre k donné. L'algorithme de vérification traduit les requêtes de TAPAAL en requêtes UPPAAL et s'appuie sur le moteur de vérification d'UPPAAL. UPPAAL, mais l'utilisateur ne doit pas quitter l'interface graphique de TAPAAL pendant pendant toutes les phases de la vérification du modèle et les traces d'erreurs sont affichées directement dans TAPAAL.
(Capture d'écran de TAPAAL (sur Ubuntu 10.10))
Installation :
sudo add-apt-repository ppa:tapaal-packaging/tapaal
sudo apt-get update
sudo apt-get install tapaal
éditer : Tapaal peut maintenant être trouvé sur http://www.tapaal.net
