[3] Petrović was licensed with senior squad for the 2015–16 season, but he officially joined the first team in summer 2016, when he signed a four-year professional contract with Rad.
[4] Previously, he made his Serbian SuperLiga debut in fourth fixture match of the 2016–17 season on 10 August 2016 against Radnik Surdulica.
[8] Red Star's sports director Mitar Mrkela commented that "Petrović is the best player in [his] position in Serbia".
[8] He made his debut for Red Star on 9 August 2019 in a 2–0 win against Mladost Lučani under coach Vladan Milojević.
In August 2016, Petrović was called into Serbia U19 squad for memorial tournament "Stevan Vilotić – Ćele", where he debuted in opening match against United States.