petri net test