Model of data collection controller of automated processing systems for passenger traffic public transport «smart» city based on Petri nets | IEEE Conference Publication | IEEE Xplore