The actual firing of a transition-node instantaneously causes “ input ” tokens
to be removed from each place-node in its preset and “ output ” tokens to be
inserted at each place-node in its postset. If more than one transition-node is
eligible to fire, only one at a time may do so, chosen arbitrarily