Статья состоит из трех частей. В первой части приведены понятия Г-градуировки многочленов, особенности построения Г-однородного базиса Гребнера и его использования. Во второй части дано краткое описание исследуемой модели и постановка задачи, решаемой на основе алгоритмов с применением базиса Гребнера. В третьей части приведено подробное описание построения однородного базиса. В заключении суммируются основные результаты.