the shape of the node
the label for the created node
whether it is a primary/transition/true or secondary/place node/false
the color of the node
the x-coordinate (top left)
the y-ccordinate (top left)
the width
the height
Add an outgoing edge to this node.
Add an outgoing edge to this node.
the edge to add
Add a token from this node.
Add a token from this node.
the token to add
the color of the node
the height
Node identifier
the label for the created node
List of outgoing edges
whether it is a primary/transition/true or secondary/place node/false
Remove an outgoing edge from this node.
Remove an outgoing edge from this node.
the edge to remove
Remove a token from this node.
Remove a token from this node.
the token to remove
Set (or reset) the color.
the shape of the node
Convert this node to a string.
Convert this node to a string.
List of tokens current in this node
the width
the x-coordinate (top left)
the y-ccordinate (top left)
This class is used to represent nodes in the graph.
the shape of the node
the label for the created node
whether it is a primary/transition/true or secondary/place node/false
the color of the node
the x-coordinate (top left)
the y-ccordinate (top left)
the width
the height