Z. Banaszak and B. H. Krogh, Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows, IEEE Transactions on Robotics and Automation, vol.6, issue.6, pp.724-734, 1990.

K. Barkaoui and I. B. Abdallah, A deadlock prevention method for a class of FMS, IEEE International Conference on Systems, Man and Cybernetics, Intelligent Systems for the 21st Century, vol.5, pp.4119-4124, 1995.
URL : https://hal.archives-ouvertes.fr/hal-01125439

K. Barkaoui, J. M. Couvreur, and K. Klai, On the equivalence between liveness and deadlock-freeness in Petri nets, Lecture Notes in Computer Science, vol.3536, pp.90-107, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01124989

Y. F. Chen, Z. W. Li, M. Khalgui, and O. Mosbahi, Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems, IEEE Transactions on Automation Science and Engineering, vol.8, issue.2, pp.374-393, 2011.

Y. F. Chen and Z. W. Li, Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems, Automatica, vol.47, issue.5, pp.1028-1034, 2011.

Y. F. Chen and Z. W. Li, On structural minimality of optimal supervisors for flexible manufacturing systems, Automatica, vol.48, issue.10, pp.2647-2656, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01126363

Y. F. Chen, Z. W. Li, and M. C. Zhou, Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.42, issue.3, pp.615-629, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01126364

Y. F. Chen and Z. W. Li, Optimal Supervisory Control of Automated Manufacturing Systems, 2013.

Y. F. Chen, Z. W. Li, and M. C. Zhou, Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach, IEEE Transactions on Automation Science and Engineering, vol.11, issue.2, pp.549-563, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01126360

Y. F. Chen, Z. W. Li, and K. Barkaoui, New Petri net structure and its application to optimal supervisory control: Interval inhibitor arcs, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.44, issue.10, pp.1384-1400, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01126349

A. Ghaffari, N. Rezg, and X. L. Xie, Design of a live and maximally permissive Petri net controller using the theory of regions, IEEE Transactions on Robotics and Automation, vol.19, issue.1, pp.137-142, 2003.

A. Giua, F. Dicesare, and M. Silva, Generalized mutual exclusion constraints on nets with uncontrollable transitions, Proceeding of IEEE International Conference on Systems, Man, and Cybernetics, pp.974-979, 1992.

Y. S. Huang, M. D. Jeng, X. L. Xie, and D. H. Chung, Siphon-based deadlock prevention for flexible manufacturing systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.36, issue.6, pp.1248-1256, 2006.
URL : https://hal.archives-ouvertes.fr/emse-00449382

M. V. Iordache and P. J. Antsaklis, Supervision based on place invariants: A survey, Discrete Event Dynamic Systems: Theory and Applications, vol.16, pp.451-492, 2006.

M. V. Iordache and P. J. Antsaklis, A structural approach to the enforcement of language and disjunctive constraints, Proccesdings of American Control Conference, pp.3920-3925, 2005.

M. V. Iordache and P. J. Antsaklis, Petri net supervisors for disjunctive constraints, Proceedings of American Control Conference, pp.4951-4956, 2007.

Z. W. Li and M. C. Zhou, Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.34, issue.1, pp.38-51, 2004.

Z. W. Li and M. C. Zhou, Clarifications on the definitions of elementary siphons of Petri nets, IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.36, issue.6, pp.1227-1229, 2006.

Z. W. Li and M. C. Zhou, On siphon computation for deadlock control in a class of Petri nets, IEEE Transactions on Systems, Man and Cybernetics, Part A-Systems and Humans, vol.38, issue.3, pp.667-679, 2008.

Z. W. Li and M. Zhao, On controllability of dependent siphons for deadlock prevention in generalized Petri nets, IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.38, issue.2, pp.369-384, 2008.

Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, 2009.

Z. W. Li, G. Y. Liu, M. Hanisch, and M. C. Zhou, Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems, IEEE Transactions on Systems, Man and Cybernetics, Part A, vol.42, issue.1, pp.178-191, 2012.

Z. W. Li, N. Q. Wu, and M. C. Zhou, Deadlock control of automated manufacturing systems based on Petri nets-A literature review, IEEE Transactions on Systems, Man, and Cybernetics, Part C, vol.42, issue.4, pp.437-462, 2012.

D. Liu, Z. W. Li, and M. C. Zhou, Liveness of an extended S 3 PR, Automatica, vol.46, issue.6, pp.1008-1018, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01126298

J. L. Luo, H. Shao, K. Nonami, and F. J. Jin, Maximally permissive supervisor synthesis based on a new constraint transformation method, Automatica, vol.48, issue.6, pp.1097-1101, 2012.

Z. Y. Ma, Z. W. Li, and A. Giua, Comments on maximally permissive supervisor synthesis based on a new constraint transformation method, Automatica, vol.51, issue.1, pp.131-134, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01479629

Z. Y. Ma, Z. W. Li, and A. Giua, Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints, IEEE Transactions on Automatic Control, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01479627

T. Murata, Petri nets: Properties, analysis and application, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989.

J. O. Moody and P. J. Antsaklis, Petri net supervisors for DES with uncontrollable and unobservable transitions, IEEE Transactions on Automatic Control, vol.45, issue.3, pp.462-476, 2000.

A. Nazeem, S. Reveliotis, Y. Wang, and S. Lafortune, Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The linear case, IEEE Transactions on Automatic Control, vol.56, issue.8, pp.1818-1833, 2011.

A. Nazeem and S. Reveliotis, Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The nonlinear case, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1670-1784, 2012.

I. Pressman and D. Singmaster, The Jealous Husbands' and 'The Missionaries and Cannibals, The Mathematical Gazette, vol.73, issue.464, pp.73-81, 1989.

S. Reveliotis and A. Nazeem, Optimal linear separation of the safe and unsafe subspaces of sequential resource allocation systems as a set-covering problem: Algorithmic procedures and geometric insights, SIAM Journal of Control and Optimization, vol.51, issue.2, pp.1707-1726, 2013.

M. Uzam and M. C. Zhou, An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems, International Journal of Production Research, vol.44, issue.10, 1987.

M. Uzam and M. C. Zhou, An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Transactions on Systems, Man and Cybernetics, Part A, vol.37, issue.3, pp.362-371, 2007.

, Wikipedia, Missionaries and Cannibals Problem

N. Q. Wu, M. Zhou, and Z. W. Li, Resource-oriented Petri net for deadlock avoidance in flexible assembly systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.38, issue.1, pp.56-69, 2008.

K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, Feedback control of Petri nets based on place invariants, Automatica, vol.32, issue.1, pp.15-28, 1996.

J. F. Zhang, M. Khalgui, Z. W. Li, G. Frey, O. Mosbahi et al., Reconfigurable coordination of distributed discrete event control systems, IEEE Transactions on Control Systems Technology, 2014.