一种新的无队列非集中式资源发现系统的时间Petri网模型
Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System
摘要：
在这份报告中，我们详细的模型，使用Petri网的一个新的完全分布式资源预留系统。所考虑的分布式系统的基本思想是让用户在本地网络上保留一组资源并使用它们，而不需要任何特定的中央管理组件，例如前端节点。资源可以是例如计算资源（核、节点、GPU.）或者服务器上的某个内存。为了验证该系统提供的一些定性和定量的特性，需要对其进行建模，本文详细介绍了该系统所使用的算法，并建立了该系统的Petri网模型。
英文摘要：
In this report, we detail the model using Petri Nets of a new fully distributed resource reservation system. The basic idea of the considered distributed system is to let a user reserve a set of resources on a local network and to use them, without any specific, central administration component such as a front-end node. Resources can be, for instance, computing resources (cores, nodes, GPUs...) or some memory on a server. In order to verify some qualitative and quantitative properties provided by this system, we need to model it. We detail the algorithms used by this system and the Petri Net models we made of it.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
