Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets