edu.upc.essi.petrinets

Class Place

java.lang.Object

edu.upc.essi.petrinets.Node

edu.upc.essi.petrinets.Place

public class Place
extends Node

Field Summary

Fields inherited from class edu.upc.essi.petrinets.Node

m_id, m_incomingArcs, m_label, m_outgoingArcs

Constructor Summary

Constructors

Constructor and Description
Place(java.lang.String label)
Place(java.lang.String label, int tokenNr)

Method Summary

Modifier and Type	Method and Description
int	getTokenNr()
boolean	isPlace()

Methods inherited from class edu.upc.essi.petrinets.Node

addIncomingArc, addOutgoingArc, deleteIncomingArc, deleteOutgoingArc, getID, getIncomingArcs, getLabel, getOutgoingArcs, isTransition

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Place

public Place(java.lang.String label)

Place

public Place(java.lang.String label,
             int tokenNr)

Method Detail

isPlace

public boolean isPlace()

Overrides:

isPlace in class Node

getTokenNr

public int getTokenNr()