By Topic

Modular supervisors for deadlock avoidance in batch processes

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
M. Tittus ; Dept. of Signal & Syst., Chalmers Univ. of Technol., Goteborg, Sweden ; K. Akesson

Petri net based models for plants and recipes are presented. The plant consists of processors and a transporting system connecting the processors. Processors are typically resources like reactors and tanks, while the transporting system consists of, for example, pipes, valves and pumps. Starting with these models we synthesize a discrete, modular supervisor which coordinates the concurrent execution of a number of recipes within a plant. The main task of the supervisor is to restrict the system's resource booking behavior such as to avoid deadlock situations, that is, situations from which we cannot complete our recipes. Deadlocks can occur when allocating processors or when allocating connections between processors, i.e., resources in the transporting system. These two problems are independent of each other. Thus, a modular supervisor can be synthesized that consists of three modules: a recipe module that controls the plant in a command-response fashion and two deadlock modules. The first coordinates the allocation of processors, and the other coordinates the allocation of resources in the transporting system. This separation of the supervisor into three modules reduces the computational complexity when synthesizing the supervisor and produces a much smaller supervisor. This is very important in industrial sized applications, since deadlock avoidance problems belong to the class of 𝒩𝒫-hard problems. We also discuss similarities between batch systems and flexible manufacturing systems.

Published in:

Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on  (Volume:1 )

Date of Conference:

11-14 Oct 1998