Actually, most semis run on diesel, which is not gasoline. So petrol as a broader term is probably more accurate. I’ve never heard the truckers I know say “gas” or “gasoline” as slang for diesel, even the murrican ones. ;)