|
 
|
[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,
motcle:
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:
sys
BibTeX
| @inproceedings { | |||
| LHB13, | |||
| 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}", | |
| year | = | 2013, | |
| month | = | "June", | |
| pages | = | "1278-1283", | |
| address | = | "Hangzhou, China", | |
| } | |||
