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
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
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
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
Formal Modeling of Network-on-Chip Using CFSM and its Application in Detecting Deadlock
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Very Large Scale Integration (VLSI) Systems"
DOI: 10.1109/tvlsi.2019.2959618
Abstract: A formal modeling of a Network-on-Chip (NoC) using a communicating finite state machine (CFSM) is presented in this article. We have automated the CFSM model generation for NoCs with Mesh and Torus topologies. To verify… read more here.
Keywords: deadlock; modeling network; network chip; formal modeling ... See more keywords
One Novel and Optimal Deadlock Recovery Policy for Flexible Manufacturing Systems Using Iterative Control Transitions Strategy
Sign Up to like & getrecommendations! Published in 2019 at "Mathematical Problems in Engineering"
DOI: 10.1155/2019/4847072
Abstract: This paper focuses on solving deadlock problems of flexible manufacturing systems (FMS) based on Petri nets theory. Precisely, one novel control transition technology is developed to solve FMS deadlock problem. This new proposed technology can… read more here.
Keywords: flexible manufacturing; one novel; control; deadlock ... See more keywords
An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets
Sign Up to like & getrecommendations! Published in 2017 at "Advances in Mechanical Engineering"
DOI: 10.1177/1687814017734709
Abstract: Elementary siphons play an important role in designing deadlock prevention policies for flexible manufacturing systems modeling by Petri nets. This article proposes a deadlock control algorithm with maximally reachable number to cope with deadlock problems… read more here.
Keywords: petri nets; deadlock control; number; reachable number ... See more keywords
Enhancement of Computational Efficiency in Seeking Liveness-Enforcing Supervisors for Advanced Flexible Manufacturing Systems with Deadlock States
Sign Up to like & getrecommendations! Published in 2020 at "Applied Sciences"
DOI: 10.3390/app10072620
Abstract: In industry 4.0, all kinds of intelligent workstations are designed for use in manufacturing industries. Among them, flexible manufacturing systems (FMSs) use smart robots to achieve their production capacity under the condition of a high… read more here.
Keywords: flexible manufacturing; deadlock; computational efficiency; deadlock states ... See more keywords