Bo Huang, MengChu Zhou, Gongxuan Zhang, Ahmed Chiheb Ammari, Ahmed Alabdulwahab, Ayman G. Fayoumi. Lexicographic Multiobjective Integer Programming for Optimal and Structurally Minimal Petri Net Supervisors of Automated Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 45(11):1459-1470, 2015. [doi]
Abstract is missing.