¹Departement of Computer Science, Ilkhchi Branch, Islamic Azad University, Ilkhchi, Iran.
²Computer Engineering Department, Faculty of Electrical and Computer Engineering, University of Tabriz, Tabriz, Iran.

---

Abstract—With regard to recent developments and wide application of distributed systems, keeping consistency of data has been considered as a serious challenge in these systems. Colored Petri Net (CPN) has high capacity in terms of modeling various algorithms and proving them mathematically. Also proving the presented models has great importance. The importance of keeping consistency at distributed systems at different levels always has been known. Therefore in this research, for first time a hierarchical model for weak consistency along with UTC global time in CPN tools has been presented. The presented model is proved and implemented by using a simulator presented in the CPN tools. In this study, it has been shown that how our method modeled and coded by ML language for distributed systems so that an acceptable level of the weak consistency at distributed systems is obtained.

Index Terms—Weak consistency, colored petri net, distributed systems, CPN tools.

[PDF]

Cite: Mortaza Abbaszadeh, Saeed Saeedvand, "Weak Consistency Model in Distributed Systems Using Hierarchical Colored Petri Net," Journal of Computers vol. 13, no. 2, pp. 236-243, 2018.