Authorize min=max in PetriNet's Arc