Oliveira, J. P. A.; Leite, J. C.; Valda, L. H. C.; Almeida, R. D. Petri Net Modelling of the Automatic Test System for Mobile Phone Battery. ijaers 2019, 6 (7).