fr_b02 / petri / Readme.md @ 2
Historique | Voir | Annoter | Télécharger (1,037 ko)
| 1 |
# 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 |
| 22 |
|