Petri Nets and the Equivalence Problem