Performance Evaluation of Buffer Policies with Stochastic Automata Networks