In 1987, Sabbah proved the existence of Bernstein–Sato polynomials associated with several analytic functions. The purpose of this paper is to give a more elementary and constructive proof of Sabbah's result based on the notion of the analytic Gröbner fan of a $\mathcal D$-module.