@inproceedings{38eb922385154a22a53bcfaec3178e12,
title = "Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems",
abstract = "This paper presents a novel method to design Petri net-based deadlock prevention controllers for flexible manufacturing systems. It starts from the computation of the complete deadlock markings by utilizing the conservativeness property of a Petri net model and the necessary and sufficient condition for deadlock. Then, it verifies a small state space including the dangerous and bad markings only by combining one-step look-forward through the original net and one-step look-backward via its reverse net. Subsequently, it defines the set of place invariants from the subset of marked operation places for the so called {"}elementary controlled bad markings{"}. Finally, it synthesizes a deadlock prevention controller by a simplified invariant-based method. Its obtained deadlock-free controller allows more behavior of the closed-loop system than those obtained via a siphon-based control method. Its computational efficiency is higher than those based on a complete reachability graph-based control method.",
keywords = "Deadlock prevention, Flexible manufacturing system, Petri net, Supervisory control",
author = "Guoqiang Zeng and Weimin Wu and Zhou, {Meng Chu} and Weijie Mao and Hongye Su and Jian Chu",
year = "2009",
doi = "10.1109/ICSMC.2009.5346582",
language = "English (US)",
isbn = "9781424427949",
series = "Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",
pages = "193--198",
booktitle = "Proceedings 2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009",
note = "2009 IEEE International Conference on Systems, Man and Cybernetics, SMC 2009 ; Conference date: 11-10-2009 Through 14-10-2009",
}