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. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO, DOAJ, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Sep 26, 2017 News!

    Papers published in JCP Volume 12 have all been indexed by DBLP   [Click]

  • Sep 02, 2016 News!

    Vol 11, No 3 has been indexed by EI (Inspec)   [Click]

  • Sep 22, 2017 News!

    Vol 13, No 6 has been published with online version 11 papers are published in this issue after peer review   [Click]

  • Aug 14, 2017 News!

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

  • Jun 21, 2017 News!

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

  • Read more>>