Resource allocation systems (RASs) belong to a kind of discrete event system commonly
seen in the industry. In such systems, available resources are allocated to concurrently …

Centralized charging of electric vehicles (EVs) based on battery swap** is a promising
strategy for their large-scale utilization in power systems. The most outstanding feature of …

Under-sampling is a popular data preprocessing method in dealing with class imbalance
problems, with the purposes of balancing datasets to achieve a high classification rate and …

The green design of electromechanical products is a pivotal link to manufacturing industry.
The question on how to design green products must be answered by excellent designers …

It is complex and difficult to perform the emergency scheduling of forest fires in order to
reduce the operational cost and improve the efficiency of extinguishing fire services. A new …

In this paper, a deadlock prevention policy for robotic manufacturing cells with
uncontrollable and unobservable events is proposed based on a Petri net formalism. First, a …

Smart mobile devices (SMDs) are integral for running advanced applications that demand
significant computing resources and quick response time, eg, immersive gaming and …

To reduce the computational burden in the scheduling of robotic cellular manufacturing
(RCM) systems based on Petri nets'(PNs) reachability graphs, existing methods mainly focus …

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 …

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 …