A Risk Assessment Framework for Hazmat Transportation in Highways by Colored Petri Nets | IEEE Journals & Magazine | IEEE Xplore