Test yourself:
1. Explain, why it is reasonable to enforce, that it is not allowed to have to transitions in a sequence?
2. If a step simultaneously loses and obtains a token, what is a reasonable entry into the incidence matrix?