Modeling and Performance Evaluation of a Supply Chain via Petri Nets