drac-PETRI: A Parallel Environment for a Real-Time Traffic Management and Information…