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 …

Deadlock problems in flexible manufacturing systems (FMS) have received more and more
attention in the last two decades. Petri nets are one of the more promising mathematical …

This paper deals with the enforcement of nonlinear constraints on Petri nets. A supervisory
structure is proposed for a class of nonlinear constraints. In order to enforce a nonlinear …

Most existing prevention methods tackle the deadlock issue arising in flexible manufacturing
systems modeled with Petri nets by adding monitors and arcs. Instead, this paper presents a …

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 …

Modern workflow management systems have to support tasks with complex dependency
constraints and to cope with resource allocation problem. Therefore the need for analysis …

Program deadlock detection plays an important role in ensuring the stability of software
systems. In view of the high efficiency and low false alarm rate, dynamic deadlock analysis …

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 …

In the context of automated manufacturing systems, flexibility and synchronization are two
main representative formations. Supervisory control techniques for flexibility have gained …

Nowadays, cluster tools tend to concurrently process multiple types of wafers with similar
recipes in order to improve their utilization and flexibility in semiconductor manufacturing …