Applications of Petri nets Based Models in Manufacturing Systems : A Review