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

fYear

2014

fDate

7-9 April 2014

Firstpage

578

Lastpage

583

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 WS³PR 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; WS³PR; 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;

fLanguage

English

Publisher

ieee

Conference_Titel

Networking, Sensing and Control (ICNSC), 2014 IEEE 11th International Conference on

Conference_Location

Miami, FL

Type

conf

DOI

10.1109/ICNSC.2014.6819690

Filename

6819690