Volume 13 Number 2 (Feb. 2018)
Home > Archive > 2018 > Volume 13 Number 2 (Feb. 2018) >
JCP 2018 Vol.13(2): 236-243 ISSN: 1796-203X
doi: 10.17706/jcp.13.2.236-243

Weak Consistency Model in Distributed Systems Using Hierarchical Colored Petri Net

Mortaza Abbaszadeh1, Saeed Saeedvand2
1Departement of Computer Science, Ilkhchi Branch, Islamic Azad University, Ilkhchi, Iran.
2Computer 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.

General Information

ISSN: 1796-203X
Frequency: Monthly (2006-2014); Bimonthly (Since 2015)
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Cherry L. Chen
Abstracting/ Indexing: DBLP, EBSCO, DOAJ, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Jun 21, 2017 News!

    Vol 13, No 4 has been published with online version   [Click]

  • Jun 14, 2017 News!

    Vol 13, No 3 has been published with online version   [Click]

  • May 24, 2017 News!

    Vol 13, No 2 has been published with online version   [Click]

  • May 24, 2017 News!

    Vol 13, No 1 has been published with online version   [Click]

  • Jan 20, 2017 News!

    Vol.12, No.6 has been published with online version.   [Click]

  • Read more>>