Formal Modelling of Manufacturing Processes in Order to Simulate and to Analyse The Impact of The Control Process on The System.