TY - GEN
T1 - Place invariant simplification in optimal supervisor synthesis for FMS
AU - Huang, Bo
AU - Zhou, Mengchu
AU - Huang, Yisheng
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2017/2/6
Y1 - 2017/2/6
N2 - The theory of regions is an important method to derive an optimal and liveness-enforcing supervisor for a flexible manufacturing systems based on Petri nets. It first partitions the reachability graph into a live zone (LZ) and a deadlock zone (DZ). Then, activity places are used to construct place invariants (PIs) to prevent the system from entering DZ and permit all markings in LZ. This work studies the reduction of the number of places to be considered in the optimal PI designs. First, the concepts of critical transitions and critical activity places are defined, and an algorithm is provided to compute the sets of critical and uncritical activity places. Then, the proof of that only critical activity places need to be considered in such optimal PI designs is established.
AB - The theory of regions is an important method to derive an optimal and liveness-enforcing supervisor for a flexible manufacturing systems based on Petri nets. It first partitions the reachability graph into a live zone (LZ) and a deadlock zone (DZ). Then, activity places are used to construct place invariants (PIs) to prevent the system from entering DZ and permit all markings in LZ. This work studies the reduction of the number of places to be considered in the optimal PI designs. First, the concepts of critical transitions and critical activity places are defined, and an algorithm is provided to compute the sets of critical and uncritical activity places. Then, the proof of that only critical activity places need to be considered in such optimal PI designs is established.
UR - http://www.scopus.com/inward/record.url?scp=85015728184&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85015728184&partnerID=8YFLogxK
U2 - 10.1109/SMC.2016.7844620
DO - 10.1109/SMC.2016.7844620
M3 - Conference contribution
AN - SCOPUS:85015728184
T3 - 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings
SP - 2527
EP - 2532
BT - 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016
Y2 - 9 October 2016 through 12 October 2016
ER -