Deadlock Avoidance in Manufacturing Systems Modeled by Petri Nets