Integration of the chemist expertise in electroplating line automation

A strong expertise is required to control complex chemical lines. Workshop operators have usually a good experience of this kind of production. Then, the automatic control of the line has to respect both the chemical time specification and the quality regulation made by the operators. This last point is taken into account by internal robustness specifications. At the modeling step, a specific tool is presented in order to specify the staying time constraints (the treatment times are specified within an interval) : the P-time Petri nets. The second section focus on the scheduling problem. Then, the robustness specifications and formal proves are illustrated on a practical example.