Éditeur Java pour les filets petri, basé sur l’analyseur ARP. Exporte des moustiquaires vers le format de fichier GIF, JPEG, PNG, PPM, ARP et PNML (basé sur XML). Utilise l’excellent cadre JHotDraw 5.2.
historique de la version
- Version 1.0.1 posté sur 2006-07-30
Plusieurs correctifs et mises à jour - Version 1.0.1 posté sur 2006-07-30
Détails du programme
- Catégorie: Éducation > Autres
- Éditeur: jarp.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 1.0.1
- Plate-forme: windows