Inference of Local Properties in Petri Nets Composed through an Interface