A Petri Net Model for the Assessment of Critical Transportation