LEITE, Jandecy Cabral2025-04-022018OLIVEIRA, João Paulo Apoliano. Modelagem em Rede de Petri do Sistema Automático de Teste para Bateria de Telefone Celular. 2018. 63 f. Dissertação (Mestrado em Engenharia de Processos) – Instituto de Tecnologia, Universidade Federal do Pará, Belém, 2018.https://rigalileo.itegam.org.br/handle/123456789/991The 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.pdf.Redes de PetriSistemas a Eventos DiscretosAutomação industrialBaterias de Íon de LítioModelagem ComputacionalDissertação de MestradoEngenharia de Controle e Automação