Text this: Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net