Here is a definition of semaphores from wikipedia :
A simple way to understand wait (P) and signal (V) operations is: wait: Decrements the value of semap