@inproceedings{1596ceafbcc043a8975563abcb7b998a,
title = "Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems",
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.",
author = "Ding Liu and Hou, {Yi Fan} and Kamel Barkaoui and Zhou, {Meng Chu}",
year = "2014",
doi = "10.1109/ICNSC.2014.6819690",
language = "English (US)",
isbn = "9781479931064",
series = "Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014",
publisher = "IEEE Computer Society",
pages = "578--583",
booktitle = "Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014",
address = "United States",
note = "11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014 ; Conference date: 07-04-2014 Through 09-04-2014",
}