发送短信 : A review on the applications of petri nets in modeling, analysis, and control of urban traffic