Petri nets have gained increasing usage and acceptance as a basic model of asynchronous
concurrent systems since 1962. As a class of structural objects of Petri nets, siphons play a …

This work proposes a novel structure in Petri nets, namely data inhibitor arcs, and their
application to the optimal supervisory control of Petri nets. A data inhibitor arc is an arc from …

This paper deals with deadlock problems in Petri nets by adding a set of recovery
transitions. Different from traditional deadlock control methods by deploying control places …

This paper presents a new Petri net structure, namely, an interval inhibitor arc, and its
application to the optimal supervisory control of Petri nets. An interval inhibitor arc is an arc …

In this paper a divide-and-conquer-method for the synthesis of liveness enforcing
supervisors (LES) for flexible manufacturing systems (FMS) is proposed. Given the Petri net …

This book is written for computer engineers, scientists, and students studying/working in
reinforcement learning and artificial intelligence domains. The book collects recent …

Multi-cluster tools are widely used in majority of wafer fabrication processes in
semiconductor industry. Smaller lot production, thinner circuit width in wafers, larger wafer …

This paper shows a novel prototyping technique for concurrent control systems described by
interpreted Petri nets. The technique is based on the decomposition of an interpreted Petri …

Cyber-physical manufacturing systems (CPMSs) are a new paradigm of manufacturing
systems that integrate cyber systems and physical systems to aid smart manufacturing …

Recently, online shopping integrating third-party payment platforms (TPPs) introduces new
security challenges due to complex interactions between Application Programming …