Multiagent model using coloured Petri nets for the regulation traffic of an automated highway | IEEE Conference Publication | IEEE Xplore