Added PetriNet to determine ordering