Experimental validation of a hybrid Petri-net based model of urban transportation networks