Title :
Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems
Author :
Ding Liu ; Yifan Hou ; Barkaoui, Kamel ; Mengchu Zhou
Author_Institution :
Sch. of Electro-Mech. Eng., Xidian Univ., Xi´an, China
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.
Keywords :
Petri nets; manufacturing systems; resource allocation; CROPNs; POPNs; WS3PR; colored ROPNs; deadlock control problem; graphical mathematical tool; intrinsically live structures; process-oriented Petri nets modeling automated manufacturing systems; product process; resource usage sequence; resource-oriented Petri nets modeling automated manufacturing systems; structural theory;
Conference_Titel :
Networking, Sensing and Control (ICNSC), 2014 IEEE 11th International Conference on
Conference_Location :
Miami, FL
DOI :
10.1109/ICNSC.2014.6819690