Talk:Well-formed Petri net