Modelling Flexible manufacturing systems: a Petri Net Modular Approach