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 …

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 …

This paper offers an operational and methodological response for managing industrial risks
by improving the monitoring of industrial areas. The objective is the optimization of …

Based on the Petri net (PN) models of the flexible manufacturing systems (FMSs), this paper
focuses on solving the scheduling problem of minimizing the total energy consumption of …

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 …

As an interesting and challenging problem, generating image caption automatically has
attracted increasingly attention in natural language processing and computer vision …

In this paper, we study the open shop scheduling problem with blocking and deadlocks.
First, we develop a new Petri net class that extends the well-known S3R nets to handle the …

Flexible manufacturing systems (FMSs), which can easily adapt to changes in job types,
have been widely used in manufacturing areas. Scheduling of FMSs is a variant of a flexible …

This paper addresses the one-dimensional cutting stock problem, focusing on minimizing
total stock usage. Most procedures that deal with this problem reside on linear programming …

On the premise of satisfying the process priority relationship, there are many kinds of
feasible sequencing schemes. How to obtain the optimal process sequencing meeting the …