Petri net model for connectivity maintenance in VANET clustering-based routing algorithm | IEEE Conference Publication | IEEE Xplore