[LHB13] Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets

Conférence Internationale avec comité de lecture : 10th IEEE International Conference on Control and Automation, June 2013, pp.1278-1283, Hangzhou, China,
Résumé: In order to circumvent the state explosion problem involved in the analysis of a reachability graph, the structure theory is widely adopted when dealing with deadlock control and liveness-enforcing problems of flexible manufacturing systems modeled by Petri nets. Siphons, as a kind of significant structural objects, are extensively used for the deadlock prevention. However, since a siphon is defined as a set of places and does not contain any weight information, the siphon-based methods encounter a series of problems when dealing with generalized Petri nets whose arc weights are equal to or greater than one. As a concept different from siphons, augmented weighted simple directed circuits are proposed in our previous work to investigate a kind of intrinsically live structures in general systems of simple sequential processes with resources allocation (GS3PR). The work extends the concept of resource usage ratios (RU-ratios) to GS3PR to explore such intrinsically live structures. On the ground of RU-ratios, a kind of liveness and ratio-enforcing supervisors is applied to control GS3PR models. The monitors in such a supervisor are simply and intuitively connected to a plant net model and can be reused by adjusting their parameters when the configuration of the plant is changed, which resembles the working style of a programming logic controller. Several examples are used to illustrate the proposed method.

Equipe: vespa


@inproceedings {
title="{Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets}",
author=" D. Liu and Y. Hou and K. Barkaoui and M. Zhou ",
booktitle="{10th IEEE International Conference on Control and Automation}",
address="Hangzhou, China",