On intrinsically live structure of a class of generalized petri nets modeling FMS

Ding Liu, Kamel Barkaoui, Meng Chu Zhou

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

2 Scopus citations

Abstract

The deadlock control and liveness-enforcement are mostly implemented based on siphons in most existing work using structural theory. Our previous work has revealed a kind of intrinsically live structures in a class of generalized Petri nets called systems of simple sequential processes with weighted resources allocation (WS3PR). The liveness-enforcement is achieved by analyzing the structure including weight information and reconfiguring the initial marking of resource places without considering the initial token counts in idle process places. This work extends it to a more general class than WS 3PR. Instead of siphons, a new concept of structural objects is defined to carry weight information and reflect the circular waits of resources. The numerical relationship between initial markings of resource places and weights of arcs is investigated to yield an intrinsically live structure-based liveness-enforcing method that requires no external monitors. The work provides an insight into structures of generalized Petri nets and a new revenue to achieve the desired deadlock control. Several examples are used to illustrate the proposed method.

Original languageEnglish (US)
Title of host publicationWODES 2012 - 11th International Workshop on Discrete Event Systems, Proceedings
PublisherIFAC Secretariat
Pages187-192
Number of pages6
Edition29
ISBN (Print)9783902823281
DOIs
StatePublished - 2012
Event11th International Workshop on Discrete Event Systems, WODES 2012 - Guadalajara, Jalisco, Mexico
Duration: Oct 3 2012Oct 5 2012

Publication series

NameIFAC Proceedings Volumes (IFAC-PapersOnline)
Number29
Volume45
ISSN (Print)1474-6670

Other

Other11th International Workshop on Discrete Event Systems, WODES 2012
CountryMexico
CityGuadalajara, Jalisco
Period10/3/1210/5/12

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering

Keywords

  • Circuit
  • Deadlock control
  • Flexible manufacturing system (FMS)
  • Live structure
  • Petri net

Fingerprint Dive into the research topics of 'On intrinsically live structure of a class of generalized petri nets modeling FMS'. Together they form a unique fingerprint.

Cite this