Give the precedence graph for the following code and check whether a deadlock may occur or not. If there is a deadlock, then modify the codes to fix it: Begin Semaphore 51,52; S;=0; 52=0; ParBegin P1, P2ParEnd End Program Pa: Begin Acquire(51); Ci; Release(s2); Program Pz: Begin Acquire(s2); C2 Release(51); t End End