fr_b02 / petri / Readme.md @ 4
Historique | Voir | Annoter | Télécharger (1,037 ko)
1 | 2 | a19coudr | # Reseau de Petri |
---|---|---|---|
2 | binome 2 Sean/Amaury |
||
3 | |||
4 | ## Note de conception |
||
5 | Nous avons procédé à quelques modification par rapport a notre conception initiale. |
||
6 | |||
7 | Ainsi nous avons ajouté une methode *equals* aux classes arc et place. Ces methodes servent pour deleteArc() et deletePLace() |
||
8 | |||
9 | Nous avons également rajouté des methodes *toString* afin d'avoir une meilleur visibilité pour nos tests. |
||
10 | |||
11 | Nous avons aussi déclaré des constante ArcEntering, ArcOutering, qui sont des entier pour que lors de la declaration des arc le choix soit clair. |
||
12 | |||
13 | ## Execution du code |
||
14 | Nous avons réalisé des tests "manuel" pour chaque classe et leurs methodes réspectivent. Pour les excuter il *faut executer la methode main de la classe*. |
||
15 | |||
16 | |||
17 | **Liste des tests effectuées :** |
||
18 | * place: changeToken(int i), isempty(), equals(), |
||
19 | * pour chaque classe Arc : isAtcive(), isPullable(), doTranstion() et equals(), |
||
20 | * transition : isPullable(),doTransition(), |
||
21 | * network : cas simple a 2 arc et 1 une transition, deletPlace(place),deleteArc(arc), deleteTransition(transtion), et les methodes add |