Petri Problem