Resource failures may happen in automated manufacturing systems (AMSs) because of
different reasons in the real world, making most existing deadlock control policies …

This paper deals with deadlock problems in Petri nets by adding a set of recovery
transitions. Different from traditional deadlock control methods by deploying control places …

The main contribution of this correspondence paper consists in a linear algebraic
characterization of the admissible marking set relative to a Petri net with uncontrollable …

For bounded Petri nets, Cabasino et al. propose a diagnosability test method that is based
on the analysis of a modified basis reachability graph and a basis reachability diagnoser …

This research focuses on the forbidden state problem in the framework of labeled Petri nets
(LPNs), ie, to design a supervisor for a plant modeled by an LPN such that the closed-loop …

Cyber-physical manufacturing systems (CPMSs) are a new paradigm of manufacturing
systems that integrate cyber systems and physical systems to aid smart manufacturing …

This paper deals with the formal verification of reconfigurable discrete event control systems
(RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A …

This article reports a transition-based control technique to prevent deadlocks for flexible
manufacturing systems that can be modeled with a generalized class of Petri nets. The …

Control of a large-scale automated manufacturing system is an important and challenging
issue. Its discrete event system model represented by Petri nets tends to become highly …

This paper uses Petri nets (PNs) as a modeling tool to deal with the forbidden state problem
of discrete event systems (DESs) in the presence of both unobservable and uncontrollable …