paper-with-me

홈 › Papers

Petri Net Modeling and Deadlock-Free Scheduling of Attachable Heterogeneous AGV Systems

2025-08-01 · Boyu Li, Zhengchen Li, Weimin Wu, Mengchu Zhou arxiv

The increasing demand for flexible automation has accelerated the adoption of heterogeneous automated guided vehicles (AGVs). This work investigates a new scheduling problem in a material transportation system consisting of attachable heterogeneous AGVs, including carriers and shuttles, that flexibly attach and detach for cooperative task execution. While such collaboration enhances operational efficiency, the attachment-induced synchronization renders the system highly coupled and susceptible to deadlocks. To address this, we propose a Petri net (PN)-based deadlock-free scheduling framework integrated into an adaptive large neighborhood search (ALNS) algorithm. The PN is introduced to map candidate solutions from static permutations into dynamic collaborative processes, enabling performance evaluation via state evolution and proactive deadlock prevention through structural analysis. Extensive experiments on real-world and synthetic instances demonstrate that the proposed framework significantly improves computational efficiency, with the developed ALNS outperforming the current on-site policy, exact solvers, and state-of-the-art metaheuristics. Finally, sensitivity analysis yields managerial insights for optimal fleet sizing.

📄 PDF Abstract BibTeX arXiv:2508.00724

Code (0)

등록된 구현이 없습니다.

Tasks

Computational Efficiency

Similar Papers 제목 키워드 기반

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs

2020-03-31 · Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua

This paper proposes a semi-structural approach to verify the nonblockingness of a Petri net. We construct a structure, called minimax basis reachability graph (minimax-BRG): it provides an abstract description of the rea…

Blocking

A Novel Supervisory Control Algorithm to Avoid Deadlock in a Manufacturing System Based on Petri Net in Presence of Resource Failure

2024-12-29 · Ahmad Bagheri, Mohammadhossein Aghaazizi, Ali Doustmohammadi

It is well established that resource failure, including robots and machines, in a manufacturing system can result in deadlocks. This issue not only hampers the system's performance but can also inflict significant damage…

Management

Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs -- An Extended Version With Benchmarks

2021-03-03 · Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua

In this paper, we study the problem of non-blockingness verification by tapping into the basis reachability graph (BRG). Non-blockingness is a property that ensures that all pre-specified tasks can be completed, which is…

Using Petri Nets for Context-Adaptive Robot Explanations

2025-09-17 · Görkem Kılınç Soylu, Neziha Akalin, Maria Riveiro arxiv

In human-robot interaction, robots must communicate in a natural and transparent manner to foster trust, which requires adapting their communication to the context. In this paper, we propose using Petri nets (PNs) to mod…

Scheduling of Flexible Manufacturing Systems Based on Place-Timed Petri Nets and Basis Reachability Graphs

2025-05-19 · Zhou He, Ning li, Ning Ran, Liang Li

Scheduling is a key decision-making process to improve the performance of flexible manufacturing systems. Place-timed Petri nets provide a formal method for graphically modeling and analyzing such systems. By generating …

Scheduling