@inproceedings{24b2989b53b34bb78b80130710eb77f6,
title = "Deadlock resolution method for automated manufacturing systems modeled with Petri nets",
abstract = "For automated manufacturing systems (AMS), deadlock resolution in terms of their Petri net models remains an attractive topic to which many approaches are dedicated. However, few of them can quantitatively optimize certain indices during their supervisor synthesis process. This causes unnecessary control limitations and often leads to unnecessary implementation cost. In the framework of Petri nets, this paper proposes a method to synthesize a cost-effective supervisor with the aid of a set of mixed integer programming (MIP) formulations. Examples are used to validate the legality of the proposed method.",
keywords = "Deadlock resolution, Integer programming, Optimization, Petri nets",
author = "Hesuan Hu and Mengchu Zhou and Zhiwu Li",
year = "2010",
doi = "10.1109/ICSMC.2010.5641919",
language = "English (US)",
isbn = "9781424465880",
series = "Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",
pages = "2551--2556",
booktitle = "2010 IEEE International Conference on Systems, Man and Cybernetics, SMC 2010",
note = "2010 IEEE International Conference on Systems, Man and Cybernetics, SMC 2010 ; Conference date: 10-10-2010 Through 13-10-2010",
}