Casa Petra is at 31, Muros. Tap "Get directions" on this page to open the location in Google Maps and see the route from wherever you are.
On this listing you can see "Other restaurants nearby" right below, sorted by proximity. You can also open the full restaurants in Muros page for the complete map ranked by distance from your location.