Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems

Ding Liu, Yi Fan Hou, Kamel Barkaoui, Meng Chu Zhou

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

Abstract

As an effective and graphical mathematical tool, Petri nets are extensively used in the modeling, analysis, verification, and control of automated manufacturing systems. Process and resource-oriented Petri nets (POPNs and ROPNs) are successively proposed in literature focusing on the description of product process and resource usage sequence, respectively. Structural theory is applied on both to solve the deadlock control problem. In this work, a class of colored ROPNs (CROPNs) is defined corresponding to WS3PR that is a class of POPNs. A kind of intrinsically live structures (ILSs) is investigated in both POPNs and CROPNs. Several examples are used to illustrate the work.

Original languageEnglish (US)
Title of host publicationProceedings of the 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014
PublisherIEEE Computer Society
Pages578-583
Number of pages6
ISBN (Print)9781479931064
DOIs
StatePublished - Jan 1 2014
Event11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014 - Miami, FL, United States
Duration: Apr 7 2014Apr 9 2014

Publication series

NameProceedings of the 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014

Other

Other11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014
CountryUnited States
CityMiami, FL
Period4/7/144/9/14

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems'. Together they form a unique fingerprint.

Cite this