public class Place extends Node
m_id, m_incomingArcs, m_label, m_outgoingArcs
Constructor and Description |
---|
Place(java.lang.String label) |
Place(java.lang.String label,
int tokenNr) |
Modifier and Type | Method and Description |
---|---|
int |
getTokenNr() |
boolean |
isPlace() |
addIncomingArc, addOutgoingArc, deleteIncomingArc, deleteOutgoingArc, getID, getIncomingArcs, getLabel, getOutgoingArcs, isTransition