Rechercher

[LL 13] Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems

Revue Internationale avec comité de lecture : Journal IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS: SYSTEMS, vol. 43(1), pp. 85-97, 2013

Mots clés: Flexible manufacturing system, liveness-enforcing supervisor, Petri net, siphon

Résumé: 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 elementary siphons with a characteristic structure-based method to prevent deadlocks and enforce liveness to the net class under consideration. The characteristic structure-based method is further advanced in this work. It unveils and takes a full advantage of an intrinsically live structure of generalized Petri nets, which hides behind the arc weights, to achieve the liveness enforcement without any external control agent such as monitors. This hybrid method can identify and remove redundant monitors from a liveness-enforcing supervisor designed according to existing policies, improve the permissiveness, reduce the structural complexity of a controlled system, and consequently save the control implementation cost. Several examples are used to illustrate this method.

Equipe: vespa

BibTeX

@article {
LL 13,
title="{Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems}",
author="D. Liu and Z. Li and M. Zhou",
journal="IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS: SYSTEMS",
year=2013,
volume=43,
number=1,
pages="85-97",
}