Many systems designed in the real world need to work in synchrony with each other. This is true for traffic lights working in synchronization with pedestrian signals. a. Design transition system...

Extracted text: Many systems designed in the real world need to work in synchrony with each other. This is true for traffic lights working in synchronization with pedestrian signals. a. Design transition system diagrams with handshaking labels for pedestrian light, two traffic lights and a controller. The traffic lights go through states: Green, Yellow and Red. The pedestrian light goes through Walk and Do Not Walk. The intersection is a two-way road as shown. T2 P1 T1 b. Then perform the parallel composition of the three models. Now identify, are there any unsafe possibilities.