Design and Analysis of Different Behaviors of Autonomous Vehicles using Petrinets

Today's world is driven by automation, wherein it has taken the world by storm. One of its products, which is currently in development (and improvisation) is the Autonomous Vehicles. These vehicles are equipped with various types of sensors which all work in unison, thanks to different types of mathematical modelling which support the whole structure. This paper aims to develop a working model of different motion types of Autonomous Vehicles using a mathematical formal method called specifically Petri Nets Modelling. This includes models of traffic light detection, pedestrian Crossing models and Parking Behaviour using Petri Nets. In the paper, different types of decision-based problems faced by Autonomous vehicles such as Pedestrian Crossing, Traffic light behaviour and Parking behaviour were discussed and to address the gaps found in the research done to date and proposed desired solutions for them. Proper justification for the use of Petri Nets over other types of formal methods is also provided. Moving on to the proposed model which has been devised and the premises and assumptions used to formulate the model for different scenarios. Reaching the end, proper conclusion is provided by discussing the possible future directions considering the development of different behaviours of autonomous vehicles.