Representation, Analysis and Simulation of Manufacturing Systems by Petri Net Based Models