Detect dead transitions of TPN.
Can limit the maximal marking for TPN.