A risk assessment framework for hazmat transportation in highways by colored petri nets