Rechercher

[LL 13a] A Liveness and Ratio-Enforcing Supervisor for Flexible Manufacturing Systems Modeled by a Class of Generalized Petri Nets

Revue Internationale avec comité de lecture : Journal Automatica, vol. 49(11), pp. 3167-3179, 2013

Mots clés: Flexible manufacturing system, Petri net, Liveness-enforcing supervisor, Ratio-enforcing supervisor, Monitor

Résumé: The work proposes a synthesis method of supervisors for flexible manufacturing systems modeled by a class of generalized Petri nets. A concept of resource usage ratios (RU-ratios) is first presented to describe the occupation degree of a resource by an operation. Next, an intrinsically live structure characterized by a special numerical relationship between arc-weights and initial markings is investigated from a perspective of RU-ratios. Then, a new kind of supervisors is synthesized on the ground of the generic nature of the intrinsically live structure. Such a supervisor can achieve the purposes of both liveness-enforcement and resource usage ratio-enforcement of the system under consideration. Given a plant, it is easy to determine the topological structure of such a supervisor and the number of monitors is bounded by that of resources used in the plant. In addition, when the configuration of the plant model changes, the supervisor can be reusable through adjusting control parameters only without rearrangement of connections. This makes it easy enough and intuitive to be used by industrial practitioners. Instead of maximal behavioral permissiveness, it pursues a precise usage of shared resources that are limited and valuable. Several examples are used to illustrate the proposed methods.

Equipe: vespa

BibTeX

@article {
LL 13a,
title="{A Liveness and Ratio-Enforcing Supervisor for Flexible Manufacturing Systems Modeled by a Class of Generalized Petri Nets}",
author="D. Liu and Z. Li and M. Zhou",
journal="Automatica",
year=2013,
volume=49,
number=11,
pages="3167-3179",
}