Instructions (Part 2 - Four Point Crossing) The system depicted below is a four-direction (North, East, South and West) traffic intersection. Each direction has two lanes, i.e. an entrance and an exit. There are some constraints on the system behavior that must be factored into the design, as follows: - At most, one car is allowed to be present at the center of the intersection at any moment; - No U-Turns are allowed, e.g. a car entering from North is not allowed to exit to the North; - The number of cars to enter the intersection, one at a time, from any direction can be infinite; - Before a car enters the intersection, the direction in which it will exit is determined randomly. - The progression of cars must be fair. This means you will have to introduce some notion of time into your model. 1. Build a Petri Net model of the behavior of this system