Evaluation of resource allocation policies in a production line using Petri Nets