A Colored Petri Net Model of motorways for risk evaluation of HAZMAT transportation | IEEE Conference Publication | IEEE Xplore