Text this: Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net.