Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

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.
Fichier non déposé

Dates et versions

hal-01126294 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126294 , version 1

Citer

Ding Liu, Yifan Hou, Kamel Barkaoui, Mengchu Zhou. Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets. 10th IEEE International Conference on Control and Automation, Jun 2013, Hangzhou, China. pp.1278-1283. ⟨hal-01126294⟩
18 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More