Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net. - Khalid Amjed Mohammed Alsaegg; Saeid Pashazadeh; Mina Zolfy Lighvan (PeerJ Comput. Sci., 2025)