Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems

Dan You; Shouguang Wang; Mengchu Zhou; Wenhui Wu

doi:10.1109/ChiCC.2014.6895609

Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems

Dan You, Shouguang Wang, Mengchu Zhou, Wenhui Wu

Electrical and Computer Engineering

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

Abstract

Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems (FMSs). This work, by adding monitors, develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called α-S³PR with ξ-resources. First, an algorithm is given to reduce an S3PR via a ξ-resource. Based on it, ξ-resources in α-S³PRs are classified into A-ξ-resources and B-ξ-resources. Next, for an α-S³PR with only B-ξ-resources, it is proved that a maximally permissive liveness-enforcing supervisor can be designed by M-controlling all the emptied strict minimal siphons (SMSs). For an α-S³PR containing A-ξ-resources, a liveness-enforcing supervisor can be designed by iteratively reducing the net via A-ξ-resources and adding the corresponding monitors. Finally, a comprehensive deadlock prevention algorithm for α-S³PRs is presented. An FMS example is used to illustrate its application.

Original language	English (US)
Title of host publication	Proceedings of the 33rd Chinese Control Conference, CCC 2014
Editors	Shengyuan Xu, Qianchuan Zhao
Publisher	IEEE Computer Society
Pages	4011-4016
Number of pages	6
ISBN (Electronic)	9789881563842
DOIs	https://doi.org/10.1109/ChiCC.2014.6895609
State	Published - Sep 11 2014
Event	Proceedings of the 33rd Chinese Control Conference, CCC 2014 - Nanjing, China Duration: Jul 28 2014 → Jul 30 2014

Publication series

Name	Proceedings of the 33rd Chinese Control Conference, CCC 2014
ISSN (Print)	1934-1768
ISSN (Electronic)	2161-2927

Other

Other	Proceedings of the 33rd Chinese Control Conference, CCC 2014
Country/Territory	China
City	Nanjing
Period	7/28/14 → 7/30/14

All Science Journal Classification (ASJC) codes

Computer Science Applications
Control and Systems Engineering
Applied Mathematics
Modeling and Simulation

Keywords

Flexible manufacturing system (FMS)
Petri nets
deadlock prevention policy
supervisory control

Access to Document

10.1109/ChiCC.2014.6895609

Cite this

You, D., Wang, S., Zhou, M., & Wu, W. (2014). Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems. In S. Xu, & Q. Zhao (Eds.), Proceedings of the 33rd Chinese Control Conference, CCC 2014 (pp. 4011-4016). Article 6895609 (Proceedings of the 33rd Chinese Control Conference, CCC 2014). IEEE Computer Society. https://doi.org/10.1109/ChiCC.2014.6895609

@inproceedings{ba0d2b12be8b4dd1a0ff974cd399347b,

title = "Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems",

abstract = "Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems (FMSs). This work, by adding monitors, develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called α-S3PR with ξ-resources. First, an algorithm is given to reduce an S3PR via a ξ-resource. Based on it, ξ-resources in α-S3PRs are classified into A-ξ-resources and B-ξ-resources. Next, for an α-S3PR with only B-ξ-resources, it is proved that a maximally permissive liveness-enforcing supervisor can be designed by M-controlling all the emptied strict minimal siphons (SMSs). For an α-S3PR containing A-ξ-resources, a liveness-enforcing supervisor can be designed by iteratively reducing the net via A-ξ-resources and adding the corresponding monitors. Finally, a comprehensive deadlock prevention algorithm for α-S3PRs is presented. An FMS example is used to illustrate its application.",

keywords = "Flexible manufacturing system (FMS), Petri nets, deadlock prevention policy, supervisory control",

author = "Dan You and Shouguang Wang and Mengchu Zhou and Wenhui Wu",

note = "Publisher Copyright: {\textcopyright} 2014 TCCT, CAA.; Proceedings of the 33rd Chinese Control Conference, CCC 2014 ; Conference date: 28-07-2014 Through 30-07-2014",

year = "2014",

month = sep,

day = "11",

doi = "10.1109/ChiCC.2014.6895609",

language = "English (US)",

series = "Proceedings of the 33rd Chinese Control Conference, CCC 2014",

publisher = "IEEE Computer Society",

pages = "4011--4016",

editor = "Shengyuan Xu and Qianchuan Zhao",

booktitle = "Proceedings of the 33rd Chinese Control Conference, CCC 2014",

address = "United States",

}

You, D, Wang, S, Zhou, M & Wu, W 2014, Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems. in S Xu & Q Zhao (eds), Proceedings of the 33rd Chinese Control Conference, CCC 2014., 6895609, Proceedings of the 33rd Chinese Control Conference, CCC 2014, IEEE Computer Society, pp. 4011-4016, Proceedings of the 33rd Chinese Control Conference, CCC 2014, Nanjing, China, 7/28/14. https://doi.org/10.1109/ChiCC.2014.6895609

Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems. / You, Dan; Wang, Shouguang; Zhou, Mengchu et al.
Proceedings of the 33rd Chinese Control Conference, CCC 2014. ed. / Shengyuan Xu; Qianchuan Zhao. IEEE Computer Society, 2014. p. 4011-4016 6895609 (Proceedings of the 33rd Chinese Control Conference, CCC 2014).

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

TY - GEN

T1 - Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems

AU - You, Dan

AU - Wang, Shouguang

AU - Zhou, Mengchu

AU - Wu, Wenhui

PY - 2014/9/11

Y1 - 2014/9/11

N2 - Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems (FMSs). This work, by adding monitors, develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called α-S3PR with ξ-resources. First, an algorithm is given to reduce an S3PR via a ξ-resource. Based on it, ξ-resources in α-S3PRs are classified into A-ξ-resources and B-ξ-resources. Next, for an α-S3PR with only B-ξ-resources, it is proved that a maximally permissive liveness-enforcing supervisor can be designed by M-controlling all the emptied strict minimal siphons (SMSs). For an α-S3PR containing A-ξ-resources, a liveness-enforcing supervisor can be designed by iteratively reducing the net via A-ξ-resources and adding the corresponding monitors. Finally, a comprehensive deadlock prevention algorithm for α-S3PRs is presented. An FMS example is used to illustrate its application.

AB - Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems (FMSs). This work, by adding monitors, develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called α-S3PR with ξ-resources. First, an algorithm is given to reduce an S3PR via a ξ-resource. Based on it, ξ-resources in α-S3PRs are classified into A-ξ-resources and B-ξ-resources. Next, for an α-S3PR with only B-ξ-resources, it is proved that a maximally permissive liveness-enforcing supervisor can be designed by M-controlling all the emptied strict minimal siphons (SMSs). For an α-S3PR containing A-ξ-resources, a liveness-enforcing supervisor can be designed by iteratively reducing the net via A-ξ-resources and adding the corresponding monitors. Finally, a comprehensive deadlock prevention algorithm for α-S3PRs is presented. An FMS example is used to illustrate its application.

KW - Flexible manufacturing system (FMS)

KW - Petri nets

KW - deadlock prevention policy

KW - supervisory control

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

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

U2 - 10.1109/ChiCC.2014.6895609

DO - 10.1109/ChiCC.2014.6895609

M3 - Conference contribution

AN - SCOPUS:84907930269

T3 - Proceedings of the 33rd Chinese Control Conference, CCC 2014

SP - 4011

EP - 4016

BT - Proceedings of the 33rd Chinese Control Conference, CCC 2014

A2 - Xu, Shengyuan

A2 - Zhao, Qianchuan

PB - IEEE Computer Society

T2 - Proceedings of the 33rd Chinese Control Conference, CCC 2014

Y2 - 28 July 2014 through 30 July 2014

ER -

Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this