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 …

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 prevention plays an important role in the modeling and control of flexible
manufacturing systems (FMS). This paper presents a novel and computationally efficient …

In this paper, a deadlock prevention policy for flexible manufacturing systems (FMS) is
proposed, which can obtain a maximally permissive liveness-enforcing Petri net supervisor …

Supervisory control is usually considered as an external control mechanism to a system by
controlling the occurrences of its controllable events. There exist Petri net models whose …

Dynamic reconfigurability is receiving more and more attention from both academy and
industry, which means the ability to flexibly modify system functions by adding/removing …

In this paper, a type of specifications called OR-AND Generalized Mutual Exclusion
Constraints (GMEC) for place/transition nets is defined. Such a specification consists of a …

Deadlocks are an undesirable situation in automated flexible manufacturing systems (FMS).
Their occurrences often deteriorate the utilization of resources and may lead to catastrophic …

Systems of sequential systems with shared resources (S 4 PR) represent a class of Petri
nets that have powerful modeling capability for resource allocation systems. Their efficient …

In some refineries, storage tanks are located at two different sites, one for low-fusion-point
crude oil and the other for high one. Two pipelines are used to transport different oil types …