Structural model of passenger counting and public transport tracking system of smart city

The structure of passenger counting and public transport tracking system of smart city and structural model based on the method of complex discrete systems simulation Petri nets are developed in the article. Reachability graph of the system states that allows to investigate the dynamics of the system is given. The functioning of the implemented system of passenger traffic and public transport tracking were briefly described.