Modeling Chandy-Lamport Distributed Snapshot Algorithm Using Colored Petri Net. - Saeid Pashazadeh; Basheer Zuhair Jaafar Al-Basseer; Jafar Tanha (IET Softw., 2024)