基于混杂Petri网的城市交通系统建模