A Risk Assessment Framework for Hazmat Transportation in Highways by Colored Petri Nets · Study