Saeed Saeedvand ¹, Mortaza Abbaszadeh ², Fahimeh Ansaroudi ¹

Affiliations
1 Computer Engineering Department, Faculty of Electrical and Computer Engineering, University of Tabriz, Tabriz, IR
2 Department of Computer Science, Ilkhchi Branch, Islamic Azad University, Ilkhchi, IR

Abstract

Data Consistency of distributed systems is considered as one of the greatest challenges in distributed systems due to delay of transmitting information in the network. Coloured Petri Net (CPN) simulator has high potential in modeling different algorithms and formal analysis. In this paper, a hierarchical model for modeling causal consistency with global time (UTC) has been presented for the first time, and then this model has been performed and proved for CPN by using the presented simulator. Since casual consistency provides an acceptable consistency, in this paper, it has been shown that how we can make distributed systems concurrent to reach causal consistency.

Keywords

Causal Consistency, Coloured Petri Net, CPN Tools, Distributed Systems, Modeling

Full Text