Weak Consistency Model in Distributed Systems Using Hierarchical Colored Petri Net. - Mortaza Abbaszadeh; Saeed Saeedvand (J. Comput., 2018)