Petri: Sistema de gestión e información de tráfico en tiempo real por computación en paralelo