A Colored Petri Net Model of motorways for risk evaluation of HAZMAT transportation. - Giampaolo Centrone; Walter Ukovich; Maria Pia Fanti; Giorgio Iacobellis (SMC, 2011)