Modelação matemática de um posto de abastecimento de GNC