petri net search in progress