Petroleum-refining industry. See Petroleum industry.