Design and modeling of adaptive cruise control system using petri nets with fault tolerance capabilities