Update Petri.cs

Naive Comparisson for Petri net