An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets | Publicación