T. Murata, Petri nets: Properties, analysis and applications, Proc. IEEE 1989, vol.77, pp.541-580

P. J. Ramadge and W. M. Wonham, Modular supervisory control of discrete event systems, Analysis and Optimization of Systems, pp.202-214, 1986.

P. J. Ramadge and W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, pp.206-230, 1987.

M. Uzam and W. M. Wonham, A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets, Int. J. Adv. Manuf. Technol, vol.28, pp.747-760, 2006.

A. Dideban and H. Alla, Determination of minimal sets of control places for safe Petri nets, Proceedings of the ACC07 American Control Conference, pp.4975-4980, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00356523

A. Dideban and H. Alla, Reduction of constraints for controller synthesis based on safe Petri nets, Automatica, vol.44, pp.1697-1706, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00333246

H. Liao, Y. Wang, H. K. Cho, J. Stanley, T. Kelly et al., Concurrency bugs in multithreaded software: Modeling and analysis using Petri nets, Discret. Event Dyn. Syst, vol.23, pp.157-195, 2013.

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 Trans. Autom. Control, vol.56, pp.1818-1833, 2011.

A. Ghaffari, N. Rezg, and X. Xie, Algebraic and geometric characterization of Petri net controllers using the theory of regions, Proceedings of the Sixth International Workshop on Discrete Event Systems, pp.219-224, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00100956

A. Ghaffari, N. Rezg, and X. Xie, Design of a live and maximally permissive Petri net controller using the theory of regions, IEEE Trans. Robot. Autom, vol.19, pp.137-141, 2003.

A. Ghaffari, N. Rezg, and X. Xie, Live and maximally permissive controller synthesis using theory of regions, Synthesis and Control of Discrete Event Systems, pp.155-166, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00100952

A. Ghaffari, N. Rezg, and X. Xie, Feedback control logic for forbidden-state problems of marked graphs: Application to a real manufacturing system, IEEE Trans. Autom. Control, vol.48, pp.18-29, 2003.

J. Ye, M. Zhou, Z. Li, and A. Al-ahmari, Structural decomposition and decentralized control of Petri nets, IEEE Trans. Syst. Man Cybern. Syst, vol.48, pp.1360-1369, 2017.

F. Balduzzi, A. Giua, and G. Menga, First-order hybrid Petri nets: A model for optimization and control, IEEE Trans. Robot. Autom, vol.16, pp.382-399, 2000.

G. Cavone, M. Dotoli, and C. Seatzu, Management of intermodal freight terminals by first-order hybrid Petri nets, IEEE Robot. Autom. Lett, vol.1, pp.2-9, 2015.

M. Zhou, Ed.) Petri Nets in Flexible and Agile Automation

Y. Chen, Z. Li, M. Khalgui, and O. Mosbahi, Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems, IEEE Trans. Autom. Sci. Eng, vol.8, pp.374-393, 2011.

M. Zhao, M. Uzam, and Y. Hou, A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems, Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering (CASE), pp.455-460, 2014.

M. Uzam, Z. Li, and M. Zhou, Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS, Int. J. Adv. Manuf. Technol, vol.35, pp.150-168, 2007.

M. Uzam and M. Zhou, An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems, Int. J. Prod. Res, vol.44, 1987.

Z. Li and M. Zhao, On controllability of dependent siphons for deadlock prevention in generalized Petri nets, IEEE Trans. Syst. Man Cybern.-Part A Syst. Hum, vol.38, pp.369-384, 2008.

Y. S. Huang and Y. L. Pan, An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach, IET Control Theory Appl, vol.5, pp.1069-1078, 2011.

M. Uzam and G. Gelen, The real-time supervisory control of an experimental manufacturing system based on a hybrid method, Control Eng. Pract, vol.17, pp.1174-1189, 2009.

J. Park and S. A. Reveliotis, Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings, IEEE Trans. Autom. Control, vol.46, pp.1572-1583, 2001.

S. Rezig, Z. Achour, and N. Rezg, Control synthesis based on reachability graph with minimal cuts: Application to a flexible manufacturing system, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp.1-6, 2014.

S. Rezig, Z. Achour, N. Rezg, and M. A. Kammoun, Optimal control synthesis for a flexible manufacturing system based on minimal cuts, Proceedings of the 2014 IEEE International Conference on Industrial Engineering and Engineering Management, pp.254-258, 2014.

S. Rezig, Z. Achour, and N. Rezg, Theory of Regions for Control Synthesis without, Computing Reachability Graph. Appl. Sci, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02968010

S. Rezig, Z. Achour, N. Rezg, and M. A. Kammoun, Supervisory control based on minimal cuts and Petri net sub-controllers coordination, Int. J. Syst. Sci, vol.47, pp.3425-3435, 2016.
URL : https://hal.archives-ouvertes.fr/hal-02967973

S. Rezig, Z. Achour, and N. Rezg, Control Synthesis Based On Theory of Regions with Minimal Reachability Graph Knowledge, vol.49, pp.1383-1388, 2016.

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

, This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license, © 2019 by the authors. Licensee MDPI