当前位置: X-MOL 学术ACM Comput. Surv. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Scheduling of Resource Allocation Systems with Timed Petri Nets: A Survey
ACM Computing Surveys ( IF 16.6 ) Pub Date : 2023-02-09 , DOI: 10.1145/3570326
Bo Huang, Mengchu Zhou, Xiaoyu Sean Lu, Abdullah Abusorrah

Resource allocation systems (RASs) belong to a kind of discrete event system commonly seen in the industry. In such systems, available resources are allocated to concurrently running processes to optimize some performance criteria. Search strategies in the reachability graph (RG) of a timed Petri net (PN) attracted much attention in the past decades to cope with RAS scheduling problems (RSPs), since PNs are very suitable to model and analyze RASs and their RGs fully reflect systems’ behavior. However, there has been no existing related survey and review paper till now. In this work, we present a tutorial and comprehensive literature survey of RG-based RSP methods. Many state-of-the-art RG-based RAS scheduling strategies are reviewed and summarized. First, we present a framework of RSPs and classify RSPs and their PNs in terms of resource usage and net structures. The differences and relations among the PNs are also given. Then, we introduce timed PN construction methods for RSPs and scheduling objectives and search strategies for RG-based RSPs. Next, we summarize different heuristic functions adopted in a frequently used A* search to solve RG-based RSPs. Finally, we discuss some important future research directions and open issues.



中文翻译:

用定时 Petri 网调度资源分配系统:一项调查

资源分配系统(RAS)属于业界常见的一种离散事件系统。在这样的系统中,可用资源被分配给并发运行的进程以优化某些性能标准。时序 Petri 网 (PN) 的可达性图 (RG) 中的搜索策略在过去几十年中引起了广泛关注,以应对 RAS 调度问题 (RSP),因为 PN 非常适合建模和分析 RAS,并且它们的 RG 充分反映了系统' 行为。然而,目前还没有现成的相关调查和评论文件。在这项工作中,我们提出了基于 RG 的 RSP 方法的教程和综合文献调查。回顾和总结了许多最先进的基于 RG 的 RAS 调度策略。第一的,我们提出了一个 RSP 框架,并根据资源使用和网络结构对 RSP 及其 PN 进行了分类。还给出了 PN 之间的区别和关系。然后,我们介绍了 RSP 的定时 PN 构建方法以及基于 RG 的 RSP 的调度目标和搜索策略。接下来,我们总结了一个常用的 A 中采用的不同启发式函数*搜索以解决基于 RG 的 RSP。最后,我们讨论了一些重要的未来研究方向和未解决的问题。

更新日期:2023-02-09
down
wechat
bug