Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing
system. Their occurrences often deteriorate the utilization of resources and may lead to …

This paper provides an overview of some well-known formal approaches for the synthesis
and implementation of logic controllers. Most of these approaches are based on the use and …

Railways are a well-recognized sustainable transportation mode that helps to satisfy the
continuously growing mobility demand. However, the management of railway traffic in large …

The benefits of logistics and transportation systems to citizens, economy, and society can
strongly increase when considering a smart, safe, and environmentally friendly …

In this paper, we address a Petri net decomposition approach for simultaneous dispatching
and conflict-free routing for bidirectional automated guided vehicle (AGV) systems in …

Strict minimal siphons (SMS) play an important role in the development of deadlock control
policies for flexible manufacturing systems (FMS). For a class of Petri nets called Systems of …

An ordinary Petri-net (PN) based approach is proposed to design a programmable logical
controller (PLC) that prevents collisions among vehicles in an automated guided vehicle …

Highspeed rail (HSR) has formed a networked operational scale in China. Any internal or
external disturbance may deviate trains' operation from the planned schedules, resulting in …

Modular supervisory control may lead to conflicts among the modular supervisors for large-
scale discrete event systems. The existing methods for ensuring nonblocking control of …

Deadlock resolution strategies based on siphon control are widely investigated. Their
computational efficiency largely depends on siphon computation. Mixed-integer …