Você terá que olhar a lista de opções disponibilizada na B3, na sua Corretora ou nos sites que tratam disso.
Quando você pede, por exemplo, Opções de PETR4, aparecerá a lista das Opções deste papel. E quando você pede a lista de opções de PETR3, aparecerá uma outra lista, com outros nomes, de Opções de PETR3.
Por exemplo. No momento em que estou escrevendo esta resposta (07/08/2019 - 10:05h), Uma Opções de compra de PETR4 ATM (strike 25,98) tem o nome de PETRH260. a Opção ATM de PETR3 (que está obviamente num preço diferente, já que não se trata da mesma ação), chama-se PETRH882 e tem strike 28,25.
Lembre-se que, mesmo sendo tudo Petrobras, PETR3 e PETR4 são papéis distintos e cada um terá sua lista própria de Opções. E você só verá quais são quando olhar a lista dos papéis com suas respectivas opções.