A petri dish for simulating distributed algorithms.