Petra je ime grčkog podrijetla i dolazi od riječi petros što znači kamen ili stijena, odnosno ona koja je odlučna, čvrsta i postojana kao stijena.
O popularnosti imena Petra najbolje govori činjenica da se radi o jednom od najčešćih imena u Hrvatskoj i u zemlji danas živi više od 20 tisuća ovih imenjakinja. Ime je najpopularnije bilo u razdoblju između 2005. i 2013. godine, a najviše Petri, njih više od 3000, živi u Zagrebu.
Strahimir je muško ime nastalo spajanjem riječi strah i mir, a Alen dolazi od engleskog Alan.
Strahimir je muško ime nastalo spajanjem riječi strah i mir, a u u prenesenom značenju znači osoba koja je oštra, energična i zaštitnik mira. Strahimir je maštovit, hvaljen i srdačan, kaže skriveno značenje imena.