Open the attached net and verify, all is fine. Now enable structural reductions and the queries do not terminate anymore ...
This is was fixed in the verifypn engine (problem with trace generation after the net was reduced).
Bug watches keep track of this bug in other bug trackers.
This is was fixed in the verifypn engine (problem with trace generation after the net was reduced).