Robust deadlock control for automated manufacturing systems with an unreliable resource
Y Wu, K Xing, J Luo, Y Feng - Information Sciences, 2016 - Elsevier
So far, most of deadlock control policies are proposed based on the assumption that
automated manufacturing systems (AMSs) have no unreliable resources. While in real …
automated manufacturing systems (AMSs) have no unreliable resources. While in real …
A refined siphon-based deadlock prevention policy for a class of Petri nets
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 …
control problem is a crucial issue in control theory of RAS. This work is concentrated on a …
Deadlock resolution in automated manufacturing systems with robots
An automated manufacturing system (AMS) contains a number of versatile machines (or
workstations), buffers, and an automated material handling system (MHS). The MHS can be …
workstations), buffers, and an automated material handling system (MHS). The MHS can be …
Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS
In the past two decades, a number of Petri-net-based approaches were proposed for
deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri …
deadlock prevention in flexible manufacturing systems (FMS). An FMS is modeled as a Petri …
Transition cover-based robust Petri net controllers for automated manufacturing systems with a type of unreliable resources
Y Feng, K Xing, Z Gao, Y Wu - IEEE Transactions on Systems …, 2016 - ieeexplore.ieee.org
So far, the majority of deadlock control policies for automated manufacturing systems
(AMSs) are based on the assumption that no resource fails; while for AMSs with unreliable …
(AMSs) are based on the assumption that no resource fails; while for AMSs with unreliable …
Probability evaluation models of product disassembly cost subject to random removal time and different removal labor cost
G Tian, MC Zhou, J Chu, Y Liu - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
Disassembly is a systematic method to separate an end-of-life product into its constituent
parts and components. However, the disassembly process of products can experience great …
parts and components. However, the disassembly process of products can experience great …
On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets
HF Chen, NQ Wu, ZW Li, T Qu - ISA transactions, 2019 - Elsevier
It is theoretically and practically significant to synthesize a maximally permissive (optimal)
controller to prevent deadlocks in an automated manufacturing system (AMS). With an AMS …
controller to prevent deadlocks in an automated manufacturing system (AMS). With an AMS …
A robust deadlock prevention control for automated manufacturing systems with unreliable resources
For a deadlock problem in automated manufacturing systems (AMSs) with unreliable
resources, the existing control methods mostly belong to the class of deadlock avoidance …
resources, the existing control methods mostly belong to the class of deadlock avoidance …
Computationally improved optimal deadlock control policy for flexible manufacturing systems
Deadlock prevention, deadlock detection, and deadlock avoidance strategies are used to
solve the deadlock problems of flexible manufacturing systems. The theory of regions is …
solve the deadlock problems of flexible manufacturing systems. The theory of regions is …
A petri net approach to analyzing behavioral compatibility and similarity of web services
Web services have become the technology of choice for service-oriented computing
implementation, where Web services can be composed in response to some users' needs. It …
implementation, where Web services can be composed in response to some users' needs. It …