Petri nets are widely used to model and analyze Resource Allocation Systems (RASs).
Since they are a kind of structuralized formal method, they can well describe the …

Purpose In the running of multiple automated guided vehicles (AGVs) in warehouses, delay
problems in motions happen unavoidably as there might exist some disabled components of …

For a deadlock problem in automated manufacturing systems (AMSs) with unreliable
resources, the existing control methods mostly belong to the class of deadlock avoidance …

In an automated manufacturing system (AMS), resources are, in general, subject to
unpredictable failures, which invalidate many existing deadlock control strategies. In this …

System scheduling is a decision-making process that plays an important role in improving
the performance of robotic cellular manufacturing (RCM) systems. Timed Petri nets (PNs) …

Shuttle-based storage and retrieval systems (SBS/RSes)–a type of automated storage and
retrieval system (AS/RS)–have recently been developed to increase throughput capacity. An …

This work is inspired by the problem of planning sequences of operations, as welding, in car
manufacturing stations where multiple industrial robots cooperate. The goal is to minimize …

The article presents the problems connected with the performance evaluation of a flexible
production system in the context of designing and integrating production and logistics …

Timed weighted marked graphs are a subclass of timed Petri nets that have wide
applications in the control and performance analysis of flexible manufacturing systems. Due …

In cyber–physical systems (CPSs), it is of great importance to handle network attack issues.
In this article, we consider the supervisory control layer of CPSs, focusing on closed-loop …