Petrán is a restaurant serving food.