Implement a token'status:
* free: can be used to enable transition
* blocked: has already be used to enable a transition (not yet fired)
* consumed: was used to fire a transition

Add events: BEFORE_TOKEN_BLOCK, AFTER_TOKEN_BLOCK