Articles with "deadlock prevention" as a keyword



Photo by mmarinko from unsplash

One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy

Sign Up to like & get
recommendations!
Published in 2018 at "IEEE Access"

DOI: 10.1109/access.2018.2843380

Abstract: This paper focuses on establishing a Petri net (PN)-based deadlock prevention policy for large-scale systems whose state spaces are prone to the explosion problem phenomenon. When using the reachability analysis technique, the main burden is… read more here.

Keywords: net based; control; based deadlock; deadlock prevention ... See more keywords
Photo by sarahdorweiler from unsplash

Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S4PR

Sign Up to like & get
recommendations!
Published in 2021 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"

DOI: 10.1109/tsmc.2020.2971455

Abstract: This article focuses on the problem of deadlock for sequential automated manufacturing systems (AMSs) that allow for the general resource allocation and flexible routings. A class of Petri nets, systems of sequential systems with shared… read more here.

Keywords: automated manufacturing; deadlock prevention; controller automated; controller ... See more keywords
Photo from wikipedia

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets

Sign Up to like & get
recommendations!
Published in 2023 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"

DOI: 10.1109/tsmc.2022.3174421

Abstract: Resource allocation systems (RASs) exist in various fields of modern society. The deadlock control problem is a crucial issue in control theory of RAS. This work is concentrated on a special class of shared resource… read more here.

Keywords: prevention policy; class; petri nets; control ... See more keywords