https://systemseq.blogspot.com/2023/10/token-based-algorithm-in-distributed.html