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

B. Huang, X. Shi, and N. Xu, Scheduling FMS with alternative routings using Petri nets and near admissible heuristic search, Int. J. Adv. Manuf. Technol, vol.63, pp.1131-1136, 2012.

J. Ezpeleta, J. M. Colom, and J. Martinez, A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Trans. Robot. Autom, vol.11, pp.173-184, 1995.

Z. W. Li, H. S. Hu, and A. R. Wang, Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets, IEEE Trans. Syst. Man Cybern. C, vol.37, pp.517-526, 2007.

H. Hu, M. Zhou, Z. Li, and Y. Tang, Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets, IEEE Trans. Ind. Inform, vol.9, pp.109-121, 2013.

U. A. Tetzlaff, Flexible manufacturing systems, Optimal Design of Flexible Manufacturing Systems

. Physica-verlag, , pp.5-11, 1990.

E. Badouel and P. Darondeau, Theory of regions, Lectures on Petri Nets I: Basic Models, pp.529-586, 1998.

A. Ghaffari, N. Rezg, and X. Xie, Live and Maximally Permissive Controller Synthesis Using Theory of Regions, Synthesis and Control of Discrete Event Systems
URL : https://hal.archives-ouvertes.fr/inria-00100952

B. Caillaud, P. Darondeau, L. Lavagno, and X. Xie, , pp.155-166, 2002.

A. Ghaffari, N. Rezg, and X. Xie, Net transformation and theory of regions for optimal control of Petri nets, Proceedings of the IFAC World Congress on Automatic Control, p.6, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00100960

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.

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

Y. Chen, Z. Li, and A. Al-ahmari, Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems, IEEE Trans. Syst. Man Cybern. Syst, vol.43, pp.252-265, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01126362

Y. Chen, Z. Li, and M. Zhou, Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach, IEEE Trans. Autom. Sci. Eng, vol.11, pp.549-563, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01126360

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 and M. C. Zhou, An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems, Int. J. Product. Res, vol.44, 1987.

M. Uzam and M. Zhou, An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems, IEEE Trans. Syst. Man Cybernet. A Syst. Hum, vol.37, pp.362-371, 2007.

Z. Li and M. Zhao, On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets, IEEE Trans. Syst. Man Cybernet. 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.

. Appl and . Sci, , 2017.

J. Park and S. P. Reveliotis, Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems, IEEE Trans. Robot. Autom, vol.16, pp.190-195, 2000.

S. Rezig, Z. Achour, N. Rezg, and M. 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 (IEEM), pp.254-258, 2014.

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 Emerging Technology and Factory Automation (ETFA), pp.1-6, 2014.

S. Rezig, Z. Achour, N. Rezg, and M. Kammoun, Supervisory control based on minimal cuts and Petri net sub-controllers coordination, Int. J. Syst. Sci, vol.0, pp.1-11, 2015.
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.

S. Rezig, Z. Achour, and N. Rezg, Optimal Control Synthesis for Flexible Manufacturing System Based on Canonic Markings, Proceedings of the 2015 IEEE International Conference on Automation Science and Engineering (CASE), pp.24-28, 2015.

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.

N. Rezg, S. Rezig, M. A. Kammoun, and Z. Achour, Control synthesis for admissible paths based on theory of regions: Application to a flexible manufacturing system, Proceedings of the 2014 IEEE Conference on Control Applications (CCA), pp.1807-1811, 2014.

D. Kroening, N. Sharygina, A. Tsitovich, and C. M. Wintersteiger, Termination Analysis with Compositional Transition Invariants, Proceedings of the International Conference on Computer-Aided Verification (CAV), pp.89-103, 2010.