Write a .smv script for the processes shown in Figure 1. s1 p1 q1 s2 b=b+1 b>=1 C=C+1 I =5 b - 1 P2 92 53 prgi prg2 prg3 Figure l: A System Part 2 (CL0-2) Question No. 3. (CLO 2) (04) Draw a resultant transition system for the processes shown in Figure 1. Question No. 4. (CLO 2) (10) Write down the possible atomic propositions for the processes shown in Figure 1. Question No. 5. (CLO 2) (06) Draw three possible traces of the transition system for the processes shown in Figure 1. Write a .smv script for the processes shown in Figure 1. s1 p1 q1 s2 b=b+1 b>=1 C=C+1 I =5 b - 1 P2 92 53 prgi prg2 prg3 Figure l: A System Part 2 (CL0-2) Question No. 3. (CLO 2) (04) Draw a resultant transition system for the processes shown in Figure 1. Question No. 4. (CLO 2) (10) Write down the possible atomic propositions for the processes shown in Figure 1. Question No. 5. (CLO 2) (06) Draw three possible traces of the transition system for the processes shown in Figure 1