La clase Place

Los objetos de esta clase representas los nodos lugar de la red de Petri, cuentan con un número de tokens. Su representación gráfica en el objeto PNView es un círculo.

Sus variables y métodos instancia más importantes son:

@interface Place : Figure
{
   int ntokens;
}
@end
- (NSImage *)drawFigure;
- (void)addToken;
- (void)setTokens:(int)n;
- (tGraph)typeGraph;

La variable nTokens establece el número de tokens asociado al lugar. Los métodos se ejecutan como se describe a continuación:

drawFigure

Cuando se recibe este mensaje, el objeto Place dibuja un círculo en un objeto NSBezierPath. Si se tiene un número de tokens mayor a cero, entonces se procede a desplegarlos dentro del círculo que representa al lugar.

addToken

Cuando se recibe este mensaje, el objeto incrementa en uno el valor de la variable ntokens.

setTokens

Este meétodo, como el anterior, altera el valor de la variable ntokens, colocandole el valor que se le pase como argumento de entrada.

typeGraph

Regresa que el objeto es del tipo Place.