Petri nets are a useful mathematical formalism for specification of manufacturing systems,
supported by various analysis and verification methods. The progress made in automating …

Previously, different deadlock control strategies for automated manufacturing systems
(AMSs) based on Petri Nets with reliable resources have been proposed. However, in real …

In reconfigurable manufacturing systems (RMSs), the architecture of a system can be
modified during its operation. This reconfiguration can be caused by many motivations …

This book offers a practical approach to modeling real-world discrete systems and
performing analysis. The theory behind the book is the Colored Petri nets, and the tool used …

A typical example of discrete event systems (DESs) is a reconfigurable manufacturing
system (RMS) whose can be changed and become more complicated during its operation …

Internet of things (IoT) applications, which include environmental sensors and control of
automated manufacturing systems (AMS), are growing at a rapid rate. In terms of hardware …

After the fourth industrial evolution, precision and automatic manufacturing have become
increasingly widely accepted in production. With highly variable productivity and flexibility …

A reconfigurable manufacturing system (RMS) means that it can be reconfigured and
become more complex during its operation. In RMSs, deadlocks may occur because of …

Automated manufacturing systems (AMSs) are vulnerable to failures. Trust evaluation is
becoming a novel technique for detecting faults in AMSs. In this article, a two-step robust …

Petri nets are used to design deadlock control strategies for flexible manufacturing systems
(FMSs), which typically involve the addition of monitors and the associated arcs to the FMS …