Formalization of an algorithm of modeling the movement of road transport vehicle

Paramonov A.M., Tomashevskiy V.N.

The formalization of simulation algorithm for traffic control of vehicles is offered, specifically, the formalization of overtaking and re-formation algorithms are given consideration using Petri’s network. The transition and nodes of Petri net for vehicle and conditions by fulfillment which it moves from one state to another are described.

Full text (pdf)