Petri net Modelling of the Automatic Test System for Mobile Phone Battery

Considering recent cases of mobile device battery incidents widely reported in the news and the internet, more and more companies are looking to develop not only safer and more reliable products, but also robust and automated manufacturing processes, seeking greater reliability and efficiency. Thus, the purpose of this research is to model a mobile phone battery test automation system using the Petri Nets (PN) graph and mathematics tool to automate the dipole alignment, voltage test and internal resistance, anode and cathode battery terminal cut, visual inspection of these and battery thickness selection in a mobile phone battery production line of a company in the Industrial Pole of Manaus (PIM). The Visual Object Net ++ v2.7a software was used for PN modeling and the present research is structured in detailed description of the automatic system components, flowchart, modeling and PN analysis. Considering this as a Discrete Event System (DES), the PN showed that it is fully possible to model the Automatic Testing System for Mobile Phone Battery. It was also demonstrated that the PN analysis by the mark enumeration method, through the coverage tree building and accessible markings graphs that the system has good properties of Reachability, Liveness and Boundedness, being fundamental in PN. It was also possible to verify that using this tool it is possible to obtain a high level of understanding of real progress and evolution of the system through the dynamic visualization of graphs related to the DES.