International Journal of Advanced Engineering Research and Science (IJAERS) [Vol-6, Issue-7, Jul- 2019] https://dx.doi.org/10.22161/ijaers.6744 ISSN: 2349-6495(P) | 2456-1908(O) www.ijaers.com Page | 356 Petri net Modelling of the Automatic Test System for Mobile Phone Battery João Paulo Apoliano Oliveira 1 , Jandecy Cabral Leite 2 , Luiz Henrique Carneiro Valda 3 , Rivanildo Duarte Almeida 4 1,2,3,4 Post-Graduate Program in Process Engineering of the Institute of Technology of the Federal University of Pará (PPGEP/ITEC/UFPA). Rua Augusto Corrêa, Nº 1. Guamá, Belém – PA -Brasil, 66075-110. 2 Galileo Institute of Technology and Education of the Amazon (ITEGAM ). Avenue Joaquim Nabuco, Nº 1950.Center. M anaus-Amazonas - Brazil. ZIP: 69005-080. Abstract — 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. Keywords— Battery, Modeling, Petri Nets (PN), Automatic, Discrete Event Systems, Automation. I. INTRODUCTION Considering the recent cases of mobile device battery incidents widely reported by the newspapers 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. Currently in a mobile phone battery production line of a factory located in the Manaus Industrial Pole (MIP), the manufacturing process is performed by manual and semiautomatic devices and equipment for tests execution and productive preparation of the battery. Among these tests the most important would be the open circuit voltage (OCV) test and the internal resistance (IR) test that were described by [1] which would present a strong correlation between capacity and impedance of the battery. Regarding the main production process, it is possible to list: the positive and negative pole alignment, the dipole terminal cutting according with the specified length by the battery developer, sample inspection by manual tool to verify the parallelism and the terminal length of the battery and lastly the cell thickness verification to classify it in a pre-defined group. Each process is performed separately and is executed by different collaborators; this production process leads to a high level of product manual interaction in the manufacturing environment that increases the operation cycle. Due to the shift changes (as it operates on a twenty-hour day and six- day-a-week basis) or inefficiency of the primitive solutions without the necessary robustness that a manufacturing process requires, the current production process can not keep the repeatability and reproducibility of the activities. As explained by [2] [20] the battery cell stores the electrical energy as chemical energy between two electrodes, the anode and the cathode, separated by an electrolyte that transfers the ionic component resulting from the chemical reaction inside the cell and forces it out of the battery. The output is a discharge electrical current (I) and a voltage (V) during the