Centralized charging of electric vehicles (EVs) based on battery swapping is a promising
strategy for their large-scale utilization in power systems. The most outstanding feature of …

Disassembly modeling and planning are meaningful and important to the reuse, recovery,
and recycling of obsolete and discarded products. However, the existing methods pay little …

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 …

Deadlock is a rather undesirable case in automated manufacturing systems (AMSs). The
appearance of deadlock can cause the partial or total stagnation of a system. So far, a large …

The real-time traffic control of railway networks imposes safety constraints and authorizes
movements of trains. This work deals with it by focusing on conflict and deadlock avoidance …

Recently, the problem of robust control for automated manufacturing systems (AMSs) with
unreliable resources receives increasing attentions. Almost all the existing related works are …

With the growing popularity of complex dynamic activities in manufacturing processes,
traceability of the entire life of every product has drawn significant attention especially for …

Thermal comfort is a decisive factor in broiler chicken production, as it defines the
relationship between food consumption and meat production. Temperature and humidity are …

This paper presents an ordinary Petri net (PN)-based approach to the modeling and race-
detection problems of programs for programmable logic controllers (PLCs). First, a PLC …

This paper focuses on the liveness analysis and deadlock control for automated
manufacturing systems (AMSs) with multiple resource requirements. Such an AMS is …