基于 Petri 网与随机活动网络(SAN)的分布式计算系统资源分配机制建模:综述与基于 Reo 的建议
分布式、并行与集群计算
2021-03-15 v1 软件工程
摘要
资源分配在分布式系统中至关重要。它是设计系统机制以确定资源分配机制的关键步骤,对于在系统中获得期望的效率十分重要,且对于预测和预防死锁至关重要。Petri 网的各种模型(随机 Petri 网、着色 Petri 网、广义 Petri 网等)被用于资源分配问题的建模、仿真、执行与求解。SAN 模型被用于建模与资源分配相关的问题。首先,我们将阐述与这些模型及资源分配问题相关的基本概念(引言章),随后,将研究 Petri 网与 SAN 模型在分布式计算系统或基于它们的系统中的若干应用。最后,将对相关问题与发现进行总结。
引用
@article{arxiv.2103.07237,
title = {Modeling of Resource Allocation Mechanisms in Distributed Computing Systems using Petri Nets and Stochastic Activity Networks (SAN): a Review and Reo-based Suggestion},
author = {Mohammad Reza Besharati and Ali Sepehri Khameneh},
journal= {arXiv preprint arXiv:2103.07237},
year = {2021}
}