基于Petri网和随机活动网络的分布式计算系统资源分配机制建模（SAN）：综述和基于Reo的建议
Modeling of Resource Allocation Mechanisms in Distributed Computing Systems using Petri Nets and Stochastic Activity Networks (SAN): a Review and Reo-based Suggestion
摘要：
资源分配是分布式系统中的关键问题。确定系统的资源分配机制是系统机制设计的关键步骤，对系统获得期望的效率至关重要，对预测和防止死锁也至关重要。Petri网的各种模型（随机PN，着色PN，广义PN等）用于建模、仿真、执行和解决资源分配问题。SAN模型用于对与资源分配相关的问题进行建模。首先，我们将介绍与这些模型有关的基本概念和资源分配问题（导言章），然后，我们将研究Petri网和SAN模型在分布式计算系统或基于它们的系统中的一些应用。最后，将总结问题和调查结果。
英文摘要：
Resource allocation is crucial in the distributed systems. It is a key step in designing the mechanisms of systems for determining the resource allocation mechanism, it is important for obtaining the desired efficiency in the system, plus it is vital for predicting and preventing Deadlocks. Various models of Petri Net (Stochastic PN, Colored PN, Generalized PN, etc.) are used for modeling, simulation, execution, and solving the problems of resource allocation. SAN models are used for modeling the problems pertinent to resource allocation. First, we shall address the basic concepts pertinent to these models and the resource allocation problem (introduction chapter), then, some applications of the Petri Net and SAN models in the distributed computational systems or systems based on them shall be studied. Finally, the issues and findings will be concluded.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
