Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets

Ding Liu, Yifan Hau, Hesuan Hu, Kamel Barkaoui, Mengchu Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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 pre-vention. 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.

Original languageEnglish (US)
Title of host publication2013 10th IEEE International Conference on Control and Automation, ICCA 2013
Pages1278-1283
Number of pages6
DOIs
StatePublished - Aug 26 2013
Event2013 10th IEEE International Conference on Control and Automation, ICCA 2013 - Hangzhou, China
Duration: Jun 12 2013Jun 14 2013

Other

Other2013 10th IEEE International Conference on Control and Automation, ICCA 2013
CountryChina
CityHangzhou
Period6/12/136/14/13

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Computer Science Applications
  • Control and Systems Engineering
  • Electrical and Electronic Engineering
  • Industrial and Manufacturing Engineering

Fingerprint Dive into the research topics of 'Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets'. Together they form a unique fingerprint.

Cite this