Statistiques
| Révision:

fr_b02 / petri / src / arcElement / ArcOutering.java @ 4

Historique | Voir | Annoter | Télécharger (529 octets)

1
package arcElement;
2

    
3
import element.Place;
4

    
5
public class ArcOutering extends Arc{
6
        
7
        private int value;
8

    
9
        public ArcOutering(Place place, int value) {
10
                super(place);
11
                this.value=value;
12
        }
13
        public String toString() {
14
                return "ArcOutering value:"+value+", "+this.getPlace();
15
        }
16
        
17
        public void doTransition() {
18
                this.getPlace().changeToken(this.value*(-1));
19
        }
20
        
21
        public boolean isActive() {
22
                return true;
23
        }
24
        
25
        public boolean isPullable() {
26
                return (this.getPlace().getToken()>=value);
27
        }
28

    
29

    
30

    
31
}