Add enabling degree defintition to PetriNet