Faster parking and less cruise for public parking spot discovery: Modeling and analysis based on Timed Petri Nets | IEEE Conference Publication | IEEE Xplore