[3] Petrovič made his professional debut in the Slovenian PrvaLiga for Aluminij on 23 July 2016 in a game against Koper.

[4] Petrovič made his senior debut for Slovenia on 7 October 2020 in a friendly against San Marino.

[5] Petrovič hails from a small settlement of Rače, a few kilometers south of Maribor.

[6] In an interview, he stated that his family name Petrovič has been erroneously misspelled as Petrović on numerous occasion.

This biographical article relating to Slovenian association football is a stub.