Modelling Causal Consistency for Distributed Systems using Hierarchical Coloured Petri Net

Saeed Saeedvand; Mortaza Abbaszadeh  and Fahimeh Ansaroudi

doi:10.17485/ijst/2015/v8i35/54980

Article

Modelling Causal Consistency for Distributed Systems using Hierarchical Coloured Petri Net

VIEWS 731
PDF 785

Abstract
Full-Text HTML
Full-Text PDF
How to Cite

Indian Journal of Science and Technology

DOI: 10.17485/ijst/2015/v8i35/54980

Year: 2015, Volume: 8, Issue: 35, Pages: 1-7

Original Article

Modelling Causal Consistency for Distributed Systems using Hierarchical Coloured Petri Net

Saeed Saeedvand^1* , Mortaza Abbaszadeh² and Fahimeh Ansaroudi ¹

¹Computer Engineering Department, Faculty of Electrical and Computer Engineering, University of Tabriz, Tabriz, Iran; [email protected], [email protected]
² Department of Computer Science, Ilkhchi Branch, Islamic Azad University, Ilkhchi, Iran; [email protected]

This work is licensed under a Creative Commons Attribution 4.0 International License.

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