Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm | IEEE Conference Publication | IEEE Xplore