Petri Net-based Smart Parking Information System Topics: Analytics for Intelligent Transportation; City Mobility and Ecodriving; Intelligent Infrastructure and Guidance Systems; Parking Management and Electronic Parking; Traffic and Vehicle Data Collection and Processing In Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems VEHITS - Volume 1, 385-393, 2020