A Petri Net-Based Heuristic Algorithm for Short-Term Vehicle Scheduling in a Vehicle Inspection System | IEEE Journals & Magazine | IEEE Xplore