Modeling ACC with Cloud, Clouldlet for Autonomous Vehicle Platoon using Petri nets - Chakraborty, Tanmay (2019)