Title :
Corrections to “Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems” [Apr 11 374-393]
Author :
Chen, YuFeng ; Li, Z. W. ; Khalgui, Mohamed ; Mosbahi, Olfa
Author_Institution :
School of Electro-Mechanical Engineering, Xidian University, Xi´an, China
fDate :
4/1/2012 12:00:00 AM
Abstract :
Presents corrections to the second paragraph of Section V-B in the above titled paper (ibid., vol. 8, no. 2, pp. 374-393, Apr. 2011).
Keywords :
Binary decision diagrams; Flexible manufacturing systems; Integer linear programming; Petri nets;
Journal_Title :
Automation Science and Engineering, IEEE Transactions on
DOI :
10.1109/TASE.2012.2183739
