Modelagem em Rede de Petri do Sistema Automático de Teste para Bateria de Telefone Celular" Subtítulo: "Aplicação em Processos de Manufatura de Baterias de Íon de Lítio

Abstract

The study proposes the modeling of an automatic test system for mobile phone batteries using Petri Nets (PN), aiming to innovate and optimize lithium-ion polymer battery manufacturing processes. The research demonstrates the feasibility of modeling the system as a Discrete Event System (DES), validating the properties of Boundedness, Reinitializability, and Liveness of the PN. The computational tool Visual Object Net ++ v2.7a was used for simulation, showing high efficiency and reliability in automating battery testing and preparation processes.