@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",
}