Tokens arriving at a control InputPin have the same semantics as control tokens arriving at the Action, except that control tokens can be buffered in control Pins.
Tokens arriving at a control InputPin have the same semantics as control
tokens arriving at the Action, except that control tokens can be buffered in control Pins.