Petra is a village and a community of the Aliartos-Thespies municipality. Before the 2011 local government reform it was part of the municipality of Aliartos, of which it was a municipal district. The 2021 census recorded 320 inhabitants in the... Wikipedia