Simulator for Chandy-Lamport global state detection protocol