The paper proposes the novel concurrency and sequentiality analysis techniques of a cyber-
physical system specified by a safe Petri net. The presented methods are based on the …

This paper proposes an iterative approach to separate a set of admissible markings of a
nonlinear constraint into a number of subsets. At each iteration, we find a maximal subset of …

Resource failures may happen from time to time in an automated manufacturing system
(AMS) in production practice, leading to that most of deadlock control methods in the …

In this paper we propose an algorithm for decentralized control of Automated Guided
Vehicles (AGVs) operating in automated warehouse environments. The motion planning …

Control of a large-scale automated manufacturing system is an important and challenging
issue. Its discrete event system model represented by Petri nets tends to become highly …

Sensors and actuators are two indispensable parts in the paradigm of feedback control.
Their implementation cost should be properly evaluated and constrained. In the previous …

The rise and integration of Industry 4.0 has led to a growing focus on the flexible job-shop
scheduling problem (FJSP). As an extension of the classic job-shop scheduling problem …

This paper proposes a hybrid liveness-enforcing method for a class of Petri nets, which can
well model many flexible manufacturing systems. The proposed method combines …

Deadlocks should be eliminated in highly automated manufacturing systems since their
occurrence implies the stoppage of the whole or partial system operation. Over the past …

In this paper a special type of nonlinear marking specifications called stair generalized
mutual exclusion constraints (stair-GMECs) is defined. A stair-GMEC can be represented by …