First do check for mutual exclusiveness. Then do for bounded waiting and progress. Its not difficult to do- in coming week we will take on all previous questions given below and the same technique should work in almost all of them.
https://gateoverflow.in/tag/process-synchronization