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

Dan You, Shouguang Wang, Mengchu Zhou, Wenhui Wu

Research output: Chapter in Book/Report/Conference proceedingConference 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 α-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.

Original languageEnglish (US)
Title of host publicationProceedings of the 33rd Chinese Control Conference, CCC 2014
EditorsShengyuan Xu, Qianchuan Zhao
PublisherIEEE Computer Society
Pages4011-4016
Number of pages6
ISBN (Electronic)9789881563842
DOIs
StatePublished - Sep 11 2014
EventProceedings of the 33rd Chinese Control Conference, CCC 2014 - Nanjing, China
Duration: Jul 28 2014Jul 30 2014

Publication series

NameProceedings of the 33rd Chinese Control Conference, CCC 2014

Other

OtherProceedings of the 33rd Chinese Control Conference, CCC 2014
CountryChina
CityNanjing
Period7/28/147/30/14

Fingerprint

Flexible manufacturing systems
Supervisory personnel
Petri nets
Siphons

All Science Journal Classification (ASJC) codes

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

Keywords

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

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). [6895609] (Proceedings of the 33rd Chinese Control Conference, CCC 2014). IEEE Computer Society. https://doi.org/10.1109/ChiCC.2014.6895609
You, Dan ; Wang, Shouguang ; Zhou, Mengchu ; Wu, Wenhui. / Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems. Proceedings of the 33rd Chinese Control Conference, CCC 2014. editor / Shengyuan Xu ; Qianchuan Zhao. IEEE Computer Society, 2014. pp. 4011-4016 (Proceedings of the 33rd Chinese Control Conference, CCC 2014).
@inproceedings{91b247b130334f96bde0f3cc1d23489d,
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",
year = "2014",
month = "9",
day = "11",
doi = "https://doi.org/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; Wu, Wenhui.

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 proceedingConference 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 - https://doi.org/10.1109/ChiCC.2014.6895609

DO - https://doi.org/10.1109/ChiCC.2014.6895609

M3 - Conference contribution

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

ER -

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