Jetons dans Place de Réseau de Petri et Spin dans code Java
cs_Meriem85
Messages postés43Date d'inscriptiondimanche 13 avril 2008StatutMembreDernière intervention30 juin 2010
-
17 mai 2010 à 02:03
cs_minaka
Messages postés2Date d'inscriptionmercredi 25 février 2009StatutMembreDernière intervention24 mai 2011
-
24 mai 2011 à 12:17
Bonsoir à tous,
SVP j'ai besoin de vos aides
Dans mon code j'essaie de modéliser des réseaux de Petri et j'ai rencontrés quelques problemes parmis lesquelles:
1) Je veux créer ou bien dessiner une place(cercle), normalement je dois utiliser paint ou bien Graphics?, et j'ai une liste contenant le nombre de jetons que veut saisir l'utilisateur. Mon probleme et je sais pas comment puis je afficher le nombre de jetons choisis dans une place. Dois-je utiliser Graphics, Paint ou autre chose???????
2) Dans ce code java que juis entrain de créer je dois faire appel à Spin (dans lequel j'utilise promella) mais j'ai aucune idée comment puis faire ça? Est ce que je dois intégrer un .jar dans ce code java ou bien il y a un autre outil que je dois utiliser et qui me permet d faire appel à un code Spin sous java????????
Voici mes problemes, j'espere bien que vous m'aidez les amis
Bonne nuit et merci d'avance