On using petri nets to detect and recover from faulty behaviours in -transportation facilities | IEEE Conference Publication | IEEE Xplore