Group scheduling problems have attracted much attention owing to their many practical
applications. This work proposes a new bi-objective serial-batch group scheduling problem …

This book provides essential information on Petri net theory and Petri net-based model
checking methods. As for the Petri net theory, it involves the interleaving semantics and …

This tutorial paper studies the effect of deception attacks on compromised sensors and
actuators at the supervisory control layer of cyber-physical control systems. The problem is …

Multi-robot systems can be used to patrol a concerned part of ocean to ensure maritime
safety under severe weather conditions. Seeking its optimal patrolling strategy to fulfill multi …

Optimal cyclic scheduling problems of wafer-residency-time-constrained dual-arm cluster
tools in wafer fabrication are challenging and remain to be fully solved. Existing studies …

This work studies the robust deadlock control of automated manufacturing systems with
multiple unreliable resources. Our goal is to ensure the continuous production of the jobs …

Iterative deadlock prevention strategies based on siphons have drawn increasing attention.
For iterative strategies, selecting which siphon to control at each iteration has an influence …

Deadlock resolution has been an important research topic in the field of automated
manufacturing systems (AMSs). Researchers generally assume that AMS resources never …

Workflow management technology has become a key means to improve enterprise
productivity. More and more workflow systems are crossing organizational boundaries and …

This paper proposes a Petri-net-based specification of cyber-physical systems dedicated to
the control of a direct matrix converter with space vector modulation (SVM) and transistor …