A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Intelligent Manufacturing"
DOI: 10.1007/s10845-015-1161-2
Abstract: This paper proposes an effective hybrid particle swarm optimization (HPSO) algorithm to solve the deadlock-free scheduling problem of flexible manufacturing systems (FMSs) that are characterized with lot sizes, resource capacities, and routing flexibility. Based on… read more here.
Keywords: swarm optimization; deadlock; particle swarm; particle ... See more keywords
Analyzing factors causing deadlock events of bi-directional pedestrian flow when moving on stairs using a personal space model
Sign Up to like & getrecommendations! Published in 2024 at "Scientific Reports"
DOI: 10.1038/s41598-024-61007-4
Abstract: Comprehending crowd dynamics on staircases is imperative for preventing accidents, particularly in emergency scenarios. In this context, our study delves into bi-directional pedestrian flow. When confronted with limited staircase space, the occurrence of two distinct… read more here.
Keywords: directional pedestrian; space; pedestrian flow; personal space ... See more keywords
Deadlock on the Board
Sign Up to like & getrecommendations! Published in 2020 at "Review of Financial Studies"
DOI: 10.1093/rfs/hhaa006
Abstract: We develop a dynamic model of board decision-making akin to dynamic voting models in the political economy literature. We show a board could retain a policy all directors agree is worse than an available alternative.… read more here.
Keywords: deadlock; board; deadlock board;
An Efficient Deadlock Handling Model Based on Neutrosophic Logic: Case Study on Real Time Healthcare Database Systems
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3192414
Abstract: The adoption of electronic patient records in hospitals will provide numerous benefits, but it will also present new issues. One of these is the creation of deadlocks, which causes delays in conducting tasks such as… read more here.
Keywords: information; database; neutrosophic logic; deadlock ... See more keywords
MCCA: A Decentralized Method for Collision and Deadlock Avoidance With Nonholonomic Robots
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Robotics and Automation Letters"
DOI: 10.1109/lra.2024.3358623
Abstract: Navigation in dense and narrow environments with multiple robots is a standing challenge since deadlock is prone to occur. In this letter we present masked cooperative collision avoidance (MCCA), a fully decentralized method to avoid… read more here.
Keywords: collision deadlock; avoidance; collision; decentralized method ... See more keywords
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2020.3044520
Abstract: This article investigates the enforcement of generalized mutual exclusion constraints (GMECs) and deadlock-freeness on a time Petri net (TPN) system with uncontrollable transitions, motivated by the fact that the existing methods enforcing GMECs may degrade… read more here.
Keywords: gmecs; time petri; deadlock; closed loop ... See more keywords
Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Automation Science and Engineering"
DOI: 10.1109/tase.2020.3019684
Abstract: In recent years, the research on robust deadlock control has become increasingly popular in automated manufacturing systems (AMSs) because resource failures may lead any system to stagnation, e.g., deadlock. In this article, we study robust… read more here.
Keywords: robust deadlock; control; automated manufacturing; unreliable resources ... See more keywords
State Space-Based Hybrid Heuristic Search Algorithm for Scheduling Deadlock-Prone Automated Manufacturing Systems
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Automation Science and Engineering"
DOI: 10.1109/tase.2023.3302333
Abstract: This work addresses the scheduling problem of deadlock-prone automated manufacturing systems (AMSs) modeled by a class of Petri nets called systems of simple sequential processes with resources (S3PRs), and proposes a novel hybrid heuristic search… read more here.
Keywords: deadlock prone; search; manufacturing systems; deadlock ... See more keywords
Deadlock Control for Flexible Assembly Systems With Multiple Resource Requirements and Separately-Loaded Parts
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Automation Science and Engineering"
DOI: 10.1109/tase.2024.3504714
Abstract: This work addresses the problem of deadlock control in flexible assembly systems (FASs) with multiple resource requirements and parts loaded separately into the system. We use generalized Petri nets to model, analyze, and control these… read more here.
Keywords: multiple resource; control; circuit wait; resource requirements ... See more keywords
Adaptive Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Using Petri Nets
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Control of Network Systems"
DOI: 10.1109/tcns.2025.3587333
Abstract: Deadlocks are highly undesirable phenomena in automated manufacturing systems (AMSs). Although there exist a number of deadlock control polices, resources are assumed to be not failed. In this article, an adaptive deadlock control policy is… read more here.
Keywords: unreliable resources; adaptive deadlock; automated manufacturing; deadlock ... See more keywords
Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Parallel and Distributed Systems"
DOI: 10.1109/tpds.2022.3218346
Abstract: This article presents a static deadlock analysis for single-path MPI programs. Deadlock is when processes are blocked indefinitely by a circular communication dependency. A single path program is one that does not decode messages for… read more here.
Keywords: action combination; improving efficiency; mpi programs; deadlock ... See more keywords