Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net
Distributed global snapshot (DGS) is one of the fundamental protocols in distributed systems. It is used for different applications like collecting information from a distributed system and taking checkpoints for process rollback. The Chandy–Lamport protocol (CLP) is famous and well-known for taking...
Saved in:
| Main Authors: | Saeid Pashazadeh, Basheer Zuhair Jaafar Al-Basseer, Jafar Tanha |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2024-01-01
|
| Series: | IET Software |
| Online Access: | http://dx.doi.org/10.1049/2024/6582682 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets
by: Ahmad Taghinezhad-Nia, et al.
Published: (2024-09-01) -
Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net
by: Khalid Amjed Mohammed Alsaegg, et al.
Published: (2025-07-01) -
Access Control Verification in Smart Contracts Using Colored Petri Nets
by: Issam Al-Azzoni, et al.
Published: (2024-10-01) -
VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
by: Nadezhda S. Mogilevskaya, et al.
Published: (2011-11-01) -
Application of colored timed Petri nets for cement production simulation
by: Irina A. Sedykh, et al.
Published: (2016-12-01)