Liveness supervision of AMS with complex processes using Petri nets

Hesuan Hu; Ying Tang; Mengchu Zhou; Zhiwu Li

doi:10.1109/ICSMC.2011.6083758

Liveness supervision of AMS with complex processes using Petri nets

Hesuan Hu, Ying Tang, Mengchu Zhou, Zhiwu Li

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness-enforcing supervisory control study AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the investigation of more complex systems. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller.

Original language	English (US)
Title of host publication	2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest
Pages	844-849
Number of pages	6
DOIs	https://doi.org/10.1109/ICSMC.2011.6083758
State	Published - Dec 23 2011
Event	2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Anchorage, AK, United States Duration: Oct 9 2011 → Oct 12 2011

Other

Other	2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011
Country	United States
City	Anchorage, AK
Period	10/9/11 → 10/12/11

All Science Journal Classification (ASJC) codes

Electrical and Electronic Engineering
Control and Systems Engineering
Human-Computer Interaction

Access to Document

10.1109/ICSMC.2011.6083758

Fingerprint Dive into the research topics of 'Liveness supervision of AMS with complex processes using Petri nets'. Together they form a unique fingerprint.

Cite this

@inproceedings{c91f3a8a11d54d6bac326af7da1a96b0,

title = "Liveness supervision of AMS with complex processes using Petri nets",

abstract = "In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness-enforcing supervisory control study AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the investigation of more complex systems. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller.",

author = "Hesuan Hu and Ying Tang and Mengchu Zhou and Zhiwu Li",

year = "2011",

month = dec,

day = "23",

doi = "10.1109/ICSMC.2011.6083758",

language = "English (US)",

isbn = "9781457706523",

pages = "844--849",

booktitle = "2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest",

note = "2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 ; Conference date: 09-10-2011 Through 12-10-2011",

}

Hu, H, Tang, Y, Zhou, M & Li, Z 2011, Liveness supervision of AMS with complex processes using Petri nets. in 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest., 6083758, pp. 844-849, 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011, Anchorage, AK, United States, 10/9/11. https://doi.org/10.1109/ICSMC.2011.6083758

TY - GEN

T1 - Liveness supervision of AMS with complex processes using Petri nets

AU - Hu, Hesuan

AU - Tang, Ying

AU - Zhou, Mengchu

AU - Li, Zhiwu

PY - 2011/12/23

Y1 - 2011/12/23

N2 - In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness-enforcing supervisory control study AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the investigation of more complex systems. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller.

AB - In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness-enforcing supervisory control study AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the investigation of more complex systems. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller.

UR - http://www.scopus.com/inward/record.url?scp=83755173181&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=83755173181&partnerID=8YFLogxK

U2 - 10.1109/ICSMC.2011.6083758

DO - 10.1109/ICSMC.2011.6083758

M3 - Conference contribution

AN - SCOPUS:83755173181

SN - 9781457706523

SP - 844

EP - 849

BT - 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest

T2 - 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011

Y2 - 9 October 2011 through 12 October 2011

ER -

Liveness supervision of AMS with complex processes using Petri nets

Abstract

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this