Added Peterson algorithm, lock definition and an use case.