@misc{misc550c9843,
title   = {Modelagem de sistemas de sinalização de trânsito utilizando Redes de Petri},
author = {Aveiro, Lucas Gomes and Miyagi, Paulo Eigi and Abud, Paulo Ferrari},
year = {2015}
}