я истолковал «Петро-» не как имя Петра Первого, а как указание на связь с нефтяным бизнесом, от слова petrol.