Petra is in Seville. Tap the map or the "Get directions" button to see the exact location and the route from your position.
On this listing you can see "Other restaurants nearby" right below, sorted by proximity. You can also open the full restaurants in Seville page for the complete map ranked by distance from your location.