Modeling of Resource Allocation Mechanisms in Distributed Computing Systems using Petri Nets and Stochastic Activity Networks (SAN): a Review and Reo-based Suggestion. - MohammadReza Besharati; Ali Sepehri Khameneh (CoRR, 2021)