D. Y. Chao, Automated manufacturing system: virtualnets or non-virtual-nets?, IET Control Theory A, vol.3, pp.671-680, 2009.

A. A. Desrochers, Modeling and control of automated manufacturing systems, 1989.

K. A. D'souza and S. K. Khator, A survey of Petri net applications in modeling controls for automated manufacturing systems, Comput Ind, vol.24, pp.5-16, 1994.

M. P. Fanti, G. Maione, and B. Turchiano, Distributed event-control for deadlock avoidance in automated manufacturing systems, Int J Prod Res, vol.39, pp.1993-2021, 2001.

M. P. Fanti and M. C. Zhou, Deadlock control methods in automated manufacturing systems, IEEE T Syst Man Cy A, vol.34, pp.5-22, 2004.

H. S. Hu and Z. W. Li, Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources, Int J Adv Manuf Tech, vol.40, pp.566-571, 2009.

H. S. Hu and Z. W. Li, Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons, J Intell Manuf, vol.21, pp.555-567, 2010.

H. S. Hu, M. C. Zhou, and Z. W. Li, Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems, IEEE T Syst Man Cy A, vol.41, pp.201-212, 2011.

M. D. Jeng and F. Dicesare, A review of synthesis techniques for Petri nets with applications to automated manufacturing systems, IEEE T Syst Man Cyb, vol.23, pp.301-312, 1993.

K. Co and S. S. Kim, An efficient real-time deadlock-free control algorithm for automated manufacturing systems, Int J Prod Res, vol.35, pp.1545-1560, 1997.

M. A. Lawley, Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems, Int J Prod Res, vol.38, pp.2931-2950, 2000.

R. Sa and P. M. Ferreira, Deadlock avoidance policies for automated manufacturing cells, IEEE T Robotic Autom, vol.12, pp.845-857, 1996.

N. Viswanadham and Y. Narahari, Performance modeling of automated manufacturing systems, 1992.

N. Q. Wu and M. C. Zhou, Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems, IEEE T Robotic Autom, vol.17, pp.658-669, 2001.

N. Q. Wu and M. C. Zhou, Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles, IEEE T Syst Man Cy B, vol.35, pp.1193-1202, 2005.

N. Q. Wu and M. C. Zhou, Deadlock resolution in automated manufacturing systems with robots, IEEE T Autom Sci Eng, vol.4, pp.474-480, 2007.

W. C. Yeh, Real-time deadlock detection and recovery for automated manufacturing systems, Int J Adv Manuf Tech, vol.20, pp.780-786, 2002.

H. Cho, T. K. Kumaran, and R. A. Wysk, Graph-theoretic deadlock detection and resolution for flexible manufacturing systems, IEEE T Robotic Autom, vol.11, pp.413-421, 1995.

E. G. Coffman, M. J. Elphick, and A. Shoshani, System deadlocks, ACM Comput Surv, vol.3, pp.66-78, 1971.

E. M. Gold, Deadlock prediction: easy and difficult cases, SIAM J Comput, vol.7, pp.320-336, 1978.

S. S. Isloor and T. A. Marsland, The deadlock problem: an overview, Computer, vol.13, pp.58-77, 1980.

A. Castelnuovo, L. Ferrarini, and L. Piroddi, An incremental Petri net-based approach to the modeling of production sequences in manufacturing systems, IEEE T Autom Sci Eng, vol.4, pp.424-434, 2007.

F. Chen, Petri nets applications in automated manufacturing systems (special issue), Int J Adv Manuf Tech, vol.14, 1998.

D. R. , A. H. Petri, . Grafcet, and . London, , 1992.

A. A. Desrochers and A. Ry, Applications of Petri nets in manufacturing systems: modeling, control, and performance analysis, 1994.

F. Dicesare, G. Harhalakis, and J. M. Porth, Practice of Petri nets in manufacturing, 1993.

B. Hruz and M. C. Zhou, Modeling and control of discreteevent dynamic systems: with Petri nets and other tools, 2007.

M. V. Iordache and P. J. Antsaklis, Supervisory control of concurrent systems: a Petri net structural approach, 2006.

M. D. Jeng, A Petri net synthesis theory for modeling flexible manufacturing systems, IEEE T Syst Man Cy B, vol.27, pp.169-183, 1997.

K. Jensen, Colored Petri nets: basic concepts, analysis methods and practical use, 1994.

Z. W. Li and M. C. Zhou, Deadlock resolution in automated manufacturing systems: a novel Petri net approach, 2009.

M. A. Marsan, G. Balbo, and G. Conte, Modelling with generalized stochastic Petri nets, 1995.

M. Ke and S. M. Guptats, Petri net models of flexible and automated manufacturing systems: a survey, Int J Prod Res, vol.34, pp.3001-3035, 1996.

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

J. L. Peterson, Petri nets, ACM Comput Surv, vol.9, pp.223-252, 1977.

J. L. Peterson, Petri net theory and the modeling of systems, 1981.

J. M. Proth and X. L. Xie, Petri nets: a tool for design and management of manufacturing systems, 1996.

W. Reisig, Petri nets: an introduction, 1985.

M. Silva, E. Teruel, and R. Valette, Petri nets and production systems, Lectures on Petri nets II: applications, vol.1492, pp.85-124, 1998.

N. Q. Wu, M. C. Zhou, and G. Hu, On Petri net modeling of automated manufacturing systems, Proceedings of the IEEE international conference on networking, sensing and control, pp.228-233, 2007.

N. Q. Wu and M. C. Zhou, Process vs resource-oriented Petri net modeling of automated manufacturing systems, Asian J Control, vol.12, pp.267-280, 2010.

N. Q. Wu and M. C. Zhou, System modeling and control with resource-oriented Petri nets, 2010.

Z. Mc and F. Dicesare, Petri net synthesis for discrete event control of manufacturing systems, 1993.

M. C. Zhou, Petri nets in flexible and agile automation, 1995.

M. C. Zhou and K. Venkatesh, Modeling, simulation, and control of flexible manufacturing systems: a Petri net approach, 1998.

R. Zurawski and M. C. Zhou, Petri nets and industrial applications: a tutorial, IEEE T Ind Electron, vol.41, pp.567-583, 1994.

R. Zurawski and M. C. Zhou, Petri nets and industrial applications: a tutorial, IEEE T Ind Electron, vol.41, pp.567-583, 1994.

Z. Banaszak and B. H. Krogh, Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows, IEEE T Robotic Autom, vol.6, pp.724-734, 1990.

K. Barkaoui and I. B. Abdallah, A deadlock prevention method for a class of FMS, Proceedings of the IEEE international conference on systems, man and cybernetics, pp.4119-4124, 1995.
URL : https://hal.archives-ouvertes.fr/hal-01125439

F. Basile, P. Chiacchio, and A. Giua, Deadlock recovery of Petri net models controlled using observers, Proceedings of the IEEE international conference on emerging technologies and factory automation, vol.15, pp.441-449, 2001.

D. Y. Chao, Weighted characteristic P-vector and deadlock control of WS 3 PR, J Inf Sci Eng, vol.26, pp.1121-1136, 2010.

D. Y. Chao, Fewer monitors and more efficient controllability for deadlock control in S 3 PGR 2 (systems of simple sequential processes with general resource requirements)

J. Comput, , vol.53, pp.1783-1798, 2010.

J. Ezpeleta, F. Tricas, and F. Garcia-valles, A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states, IEEE T Robotic Autom, vol.18, pp.621-625, 2002.

E. Recalde and L. , A deadlock avoidance approach for nonsequential resource allocation systems, IEEE T Syst Man Cy A, vol.34, pp.93-101, 2004.

M. P. Fanti, G. Maione, and B. Turchiano, Deadlock detection and recovery in flexible production systems with multiple capacity resources, Proceedings of the 8th Mediterranean electrotechnical conference, pp.237-241, 1996.

M. P. Fanti, B. Maione, and S. Mascolo, Performance of deadlock avoidance algorithms in flexible manufacturing systems, J Manuf Syst, vol.15, pp.164-178, 1996.

M. P. Fanti, B. Maione, and S. Mascolo, Event-based feedback control for deadlock avoidance in flexible production systems, IEEE T Robotic Autom, vol.13, pp.347-363, 1997.

M. P. Fanti, A. Giua, and C. Seatzu, Monitor design for colored Petri nets: an application to deadlock prevention in railway networks, Control Eng Pract, vol.14, pp.1231-1247, 2006.

K. X. He and L. D. Lemmon, On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors, Proceedings of the 39th IEEE conference on decision and control, vol.3, pp.2657-2662, 2002.

K. X. He and M. D. Lemmon, Liveness verification of discrete-event systems modeled by n-safe ordinary Petri nets, Proceedings of the 21st international conference on application and theory of Petri nets, vol.1825, pp.227-243, 2000.

K. X. He and M. D. Lemmon, Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods, IEEE T Automat Contr, vol.47, pp.1042-1055, 2002.

L. E. Holloway, B. H. Krogh, and A. Giua, A survey of Petri net methods for controlled discrete event systems, Discrete Event Dyn S, vol.7, pp.151-190, 1997.

Y. F. Hou, M. Zhao, and D. Liu, Deadlock control for a class of generalized Petri nets based on proper resource allocation, Asian J Control, vol.18, pp.206-223, 2016.

H. S. Hu and Z. W. Li, Clarification on the computation of liveness-enforcing supervisor for resource allocation systems with uncontrollable behavior, IEEE T Autom Sci Eng, vol.6, pp.557-559, 2009.

H. S. Hu, M. C. Zhou, and Z. W. Li, Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets, IEEE T Autom Sci Eng, vol.7, pp.549-557, 2010.

H. S. Hu, M. C. Zhou, and Z. W. Li, Low-cost and highperformance supervision in ratio-enforced automated manufacturing systems using timed Petri nets, IEEE T Autom Sci Eng, vol.7, pp.933-944, 2010.

H. S. Hu, M. C. Zhou, and Z. W. Li, Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets, IEEE T Autom Sci Eng, vol.8, pp.794-804, 2011.

H. S. Hu, M. C. Zhou, and Z. W. Li, Liveness and ratioenforcing supervision of automated manufacturing systems using Petri nets, IEEE T Syst Man Cy A, vol.42, pp.392-403, 2012.

H. S. Hu, M. C. Zhou, and Z. W. Li, An optimization approach to improved Petri net controller design for automated manufacturing systems, IEEE T Autom Sci Eng, vol.10, pp.772-782, 2013.

H. S. Hu, M. C. Zhou, and Z. W. Li, Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets, IEEE T Ind Inform, vol.9, pp.109-121, 2013.

M. V. Iordache and P. J. Antsaklis, Generalized conditions for liveness enforcement and deadlock prevention in Petri nets, Proceedings of the 22nd international conference on applications and theory of Petri nets, vol.2075, pp.184-203, 2001.

M. V. Iordache, J. O. Moody, and P. J. Antsaklis, Synthesis of deadlock prevention supervisors using Petri nets, IEEE T Robotic Autom, vol.18, pp.59-68, 2002.

K. Lautenbach and H. Ridder, The linear algebra of deadlock avoidance: a Petri net approach, 1996.

Z. W. Li and M. C. Zhou, Comparison of two deadlock prevention methods for different-size flexible manufacturing systems, Int J Intell Contr Syst, vol.10, pp.235-243, 2005.

Z. W. Li, S. Zhu, and M. C. Zhou, A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems, IEEE T Syst Man Cy C, vol.39, pp.156-169, 2009.

Z. W. Li and H. S. Hu, On systematic methods to remove redundant monitors from liveness-enforcing net supervisors, Comput Ind Eng, vol.56, pp.53-62, 2009.

Z. W. Li and M. Shpitalni, Smart deadlock prevention policy for flexible manufacturing systems using Petri nets, IET Control Theory A, vol.3, pp.362-374, 2009.

Z. W. Li and M. C. Zhou, Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in Petri nets, IEEE T Syst Man Cy C, vol.40, pp.330-340, 2010.

Z. W. Li, M. Qin, and S. Zhu, Identification of controllable transitions to decide the existence of an optimal livenessenforcing supervisor for a class of Petri nets, T I Meas Control, vol.33, pp.406-421, 2011.

Z. W. Li, G. Y. Liu, and H. M. Hanisch, Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems, IEEE T Syst Man Cy A, vol.42, pp.178-191, 2012.

Z. W. Li, Deadlock analysis and control in resource allocation systems, Inform Sciences, vol.363, pp.174-177, 2016.

G. J. Liu, C. J. Jiang, and M. C. Zhou, Two simple deadlock prevention policies for S 3 PR based on key-resource/operation-place pairs, IEEE T Autom Sci Eng, vol.7, pp.945-957, 2010.

G. Y. Liu and Z. W. Li, General mixed integer programming-based liveness test for system of sequential systems with shared resources nets, IET Control Theory A, vol.4, pp.2867-2878, 2010.

G. Y. Liu, Z. W. Li, and K. Barkaoui, Robustness of deadlock control for a class of Petri nets with unreliable resources, Inform Sciences, vol.235, pp.259-279, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01126292

G. Maione and F. Dicesare, Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems, Int J Prod Res, vol.43, pp.5131-5159, 2005.

Z. Y. Ma, Z. W. Li, and A. Giua, Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints, IEEE T Automat Contr, vol.60, pp.1774-1785, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01479627

Z. Y. Ma, Z. W. Li, and A. Giua, Petri net controllers for generalized mutual exclusion constraints with floor operators, Automatica, vol.74, pp.238-246, 2016.

J. O. Moody and P. J. Antsaklis, Supervisory control of Petri nets with uncontrollable/unobservable transitions, Proceedings of the 35th IEEE conference on decision and control, vol.4, pp.4433-4438, 1996.

J. O. Moody and P. J. Antsaklis, Petri net supervisors for DES with uncontrollable and unobservable transitions, IEEE T Automat Contr, vol.45, pp.462-476, 2000.

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

M. Qin, Z. W. Li, and M. Khalgui, On applicability of deadlock prevention policies with uncontrollable and unobservable transitions, Int J Innov Comput I, vol.7, pp.4115-4127, 2011.

S. A. Reveliotis, M. A. Lawley, and P. M. Ferreira, Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems, IEEE T Automat Contr, vol.42, pp.1344-1357, 1997.

R. S. Sreenivas, On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets, IEEE T Automat Contr, vol.42, pp.928-945, 1997.

R. S. Sreenivas, On supervisory policies that enforce liveness in completely controlled Petri nets with directed cutplaces and cut-transitions, IEEE T Automat Contr, vol.44, pp.1221-1225, 1999.

A. Taubin, A. Kondratyev, and M. Kishinevsky, Deadlock prevention using Petri nets and their unfoldings, Int J Adv Manuf Tech, vol.14, pp.750-759, 1998.

F. Tricas, F. Garca-valle´s, and J. M. Colom, Using linear programming and the Petri net structure for deadlock prevention in sequential resource allocation systems, Proceedings of the XIII Jornadas de Concurrencia y Sistemas Distribuidos, Granada, pp.65-77, 2005.

M. Uzam, The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems, Int J Adv Manuf Tech, vol.23, pp.204-219, 2004.

M. Uzam and M. C. Zhou, An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems, IEEE T Syst Man Cy A, vol.37, pp.362-371, 2007.

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

M. Uzam, Z. W. Li, and G. Gelen, A divide-and-conquermethod for the synthesis of liveness enforcing supervisors for flexible manufacturing systems, J Intell Manuf, vol.27, pp.1111-1129, 2016.

M. Uzam, Z. W. Li, and A. Us, Think globally act locally approach for the synthesis of a livenessenforcing supervisor of FMSs based on Petri nets, Int J Prod Res, vol.54, pp.4634-4657, 2016.

K. Varpaaniemi, Efficient detection of deadlocks in Petri nets, 1993.

N. Viswanadham, Y. Narahari, and J. T. , Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models, IEEE T Robotic Autom, vol.6, pp.713-723, 1991.

Q. Wang, Z. W. Li, and A. R. Wang, A versatile supervisor with one monitor based on macro-tokens, IMA J Math Control I, vol.31, pp.245-256, 2014.

N. Q. Wu, Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model, IEEE T Syst Man Cy C, vol.29, pp.192-204, 1999.

N. Q. Wu, Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model, Int J Prod Res, vol.40, pp.223-238, 2002.

N. Q. Wu, M. C. Zhou, and Z. W. Li, Resource-oriented Petri net for deadlock avoidance in flexible assembly systems, IEEE T Syst Man Cy A, vol.38, pp.56-69, 2008.

N. Q. Wu and M. C. Zhou, Petri net modeling and one-step look-ahead maximally permissive deadlock control of AMS, ACM T Embed Comput S, vol.12, pp.1-22, 2013.

K. Y. Xing, B. S. Hu, and C. Hx, Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources, IEEE T Automat Contr, vol.41, pp.289-295, 1996.

E. Yamalidou and J. Kantor, Modeling and optimal control of discrete-event chemical processes using Petri nets, Comput Chem Eng, vol.15, pp.503-519, 1991.

M. M. Yan, Z. W. Li, and N. Wei, A deadlock prevention policy for a class of Petri nets S 3 PMR, J Inf Sci Eng, vol.25, pp.167-183, 2009.

J. H. Ye, Z. W. Li, and X. L. Chen, An algorithm for the minimum initial marking problem of a structurally live Petri net with inhibitor arcs, IEEJ T Electr Electr, vol.11, pp.586-592, 2016.

M. Zhao and Z. W. Li, On deadlock control for a class of generalised Petri net models of flexible manufacturing systems, Int J Prod Res, vol.47, pp.6085-6107, 2009.

C. F. Zhong, Z. W. Li, and Y. F. Chen, On nonexistence of a maximally permissive liveness-enforcing pure net supervisor, IEEE T Syst Man Cy A, vol.43, pp.29-37, 2013.

M. C. Zhou and F. Diceasre, Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources, IEEE T Robotic Autom, vol.7, pp.515-527, 1991.

Z. Mc and F. Dicesare, A hybrid methodology for synthesis of Petri net models for manufacturing systems, IEEE T Robotic Autom, vol.8, pp.350-361, 1992.

M. C. Zhou, D. F. Rudolph, and D. , Design and implementation of a Petri net based supervisor for a flexible manufacturing system, Automatica, vol.28, pp.1199-1208, 1992.

Y. F. Chen, Z. W. Li, and A. Al-ahmari, Deadlock recovery for flexible manufacturing systems modeled with Petri nets, Inform Sciences, vol.381, pp.290-303, 2017.

A. Fanti, A. Giua, and N. Sanna, Control and error recovery of Petri net models with event observers, Proceedings of the 2nd international work manufacturing Petri nets, pp.53-68, 1997.

M. P. Fanti, G. Maione, and B. Turchiano, Digraph-theoretic approach for deadlock detection and recovery in flexible production systems, Stud Inform Control, vol.5, pp.373-383, 1996.

F. Tricas, Deadlock analysis, prevention and avoidance in sequential resource allocation systems, PhD Dissertation, 2003.

D. Y. Chao, Comments on ''Deadlock prevention and avoidance in FMS: a Petri net based approach, Int J Adv Manuf Tech, vol.39, pp.317-318, 2008.

X. L. Chen, Z. W. Li, and N. Q. Wu, Confusion avoidance for discrete event systems by P/E constraints and supervisory control, IMA J Math Control I, vol.33, pp.309-332, 2016.

X. L. Chen, Z. W. Li, and N. Q. Wu, Confusion diagnosis and avoidance of discrete event systems using supervisory control, IEEJ T Electr Electr, vol.11, pp.49-62, 2016.

M. P. Fanti, B. Maione, and B. Turchiano, Event control for deadlock avoidance in production systems with multiple capacity resources, Stud Inform Control, vol.7, pp.343-364, 1998.

F. S. Hsieh and C. Sc, Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems, IEEE T Robotic Autom, vol.10, pp.196-209, 1994.

F. S. Hsieh, Fault-tolerant deadlock avoidance algorithm for assembly processes, IEEE T Syst Man Cy A, vol.34, pp.65-79, 2004.

M. A. Lawley, R. Sa, and P. M. Ferreira, A correct and scalable deadlock avoidance policy for flexible manufacturing systems, IEEE T Robotic Autom, vol.14, pp.796-809, 1998.

M. A. Lawley, Deadlock avoidance for production systems with flexible routing, IEEE T Robotic Autom, vol.15, pp.497-509, 1999.

M. A. Lawley and S. A. Reveliotis, Deadlock avoidance for sequential resource allocation systems: hard and easy cases, Int J Flex Manuf Sys, vol.13, pp.385-404, 2001.

J. Park, Structural analysis and control of resource allocation systems using Petri nets, 2000.

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

S. A. Reveliotis, Algebraic deadlock avoidance policies for sequential resource allocation systems, pp.235-289, 2007.

E. Roszkowska and J. Jentink, Minimal restrictive deadlock avoidance in FMSs, Proceedings of the European control conference, vol.2, pp.530-534, 1993.

R. A. Wysk, Y. Ns, and S. Joshi, Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches, J Manuf Syst, vol.13, pp.128-138, 1994.

K. Y. Xing, M. C. Zhou, and H. X. Liu, Optimal Petri-netbased polynomial-complexity deadlock-avoidance policies for automated manufacturing systems, IEEE T Syst Man Cy A, vol.39, pp.188-199, 2009.

D. Y. Chao, Reducing MIP iterations for deadlock prevention of flexible manufacturing systems, Int J Adv Manuf Tech, vol.41, pp.343-346, 2009.

D. Y. Chao, Formal theory of state loss of Siphon-based deadlock prevention, IET Control Theory A, vol.5, pp.1013-1021, 2011.

J. W. Guo and Z. W. Li, A deadlock prevention approach for a class of timed Petri nets using elementary siphons, Asian J Control, vol.12, pp.347-363, 2010.

Y. S. Huang, M. D. Jeng, and X. L. Xie, A deadlock prevention policy for flexible manufacturing systems using siphons, Proceedings of the IEEE international conference on robotics and automation, pp.541-546, 2001.

Y. S. Huang, Design of deadlock prevention supervisors for FMS using Petri nets, Int J Adv Manuf Tech, vol.35, pp.349-362, 2007.

E. A. Nasr, A. M. El-tamimi, and A. Al-ahmari, Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems, Math Probl Eng, pp.537893-537894, 2015.

M. Qin, Z. W. Li, and M. C. Zhou, Deadlock prevention for a class of Petri nets with uncontrollable and unobservable transitions, IEEE T Syst Man Cy A, vol.42, pp.727-738, 2012.

F. Tricas, F. Garca-valle´s, and J. M. Colom, An iterative method for deadlock prevention in FMSs, Proceedings of the 5th workshop on discrete event systems (eds R Boel and G Stremersch), pp.139-148, 2000.

M. Uzam and Z. Li, On an iterative deadlock prevention approach for automated manufacturing systems, Int J Adv Manuf Tech, vol.74, pp.503-507, 2014.

Z. M. Zhang and W. M. Wu, Sequence control of essential siphons for deadlock prevention in Petri nets, ACM T Embed Comput S, vol.12, pp.176-179, 2013.

L. P. Bai, N. Q. Wu, and Z. W. Li, Optimal one-wafer cyclic scheduling and buffer space configuration for singlearm multicluster tools with linear topology, IEEE T Syst Man Cy A, vol.46, pp.1456-1467, 2016.

X. Wang, L. Z. Wonham, and W. M. , Dynamic multipleperiod reconfiguration of real-time scheduling based on timed des supervisory control, IEEE T Ind Inform, vol.12, pp.101-111, 2016.

N. Q. Wu and M. C. Zhou, Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation, IEEE T Autom Sci Eng, vol.9, pp.203-209, 2012.

F. Yang, N. Q. Wu, and Y. Qiao, Scheduling of singlearm cluster tools for an atomic layer deposition process with residency time constraints. IEEE T Syst Man Cy A. Epub ahead of print 29, 2016.

J. F. Zhang, M. Khalgui, and Z. W. Li, R-TNCES: a novel formalism for reconfigurable discrete event control systems, IEEE T Syst Man Cy A, vol.43, pp.757-772, 2013.

J. F. Zhang, M. Khalgui, and Z. W. Li, Reconfigurable coordination of distributed discrete event control systems, IEEE T Contr Syst T, vol.23, pp.323-330, 2015.

W. Chen, T. Wu, and Z. W. Li, Coevolution of aspirations and cooperation in spatial prisoner's dilemma game, J Stat Mech: Theory E, p.1032, 2015.

A. Giua and C. Seatzu, Liveness enforcing supervisors for railway networks using ES 2 PR Petri nets, Proceedings of the 6th international workshop on discrete event systems (WODES 02), pp.55-60, 2002.

A. Giua and C. Seatzu, Modeling and supervisory control of railway networks using Petri nets, IEEE T Autom Sci Eng, vol.5, pp.431-445, 2008.

Y. Hou, N. Q. Wu, and Z. Li, A genetic algorithm approach to short-term scheduling of crude oil operations in refinery, IEEJ T Electr Electr, vol.11, pp.593-603, 2016.

H. S. Hu, M. C. Zhou, and Z. W. Li, Liveness enforcing supervision of video streaming systems using nonsequential Petri nets, IEEE T Multimedia, vol.11, pp.1457-1465, 2009.

H. S. Hu and Z. W. Li, Liveness enforcing supervision in video streaming systems using siphons, J Inf Sci Eng, vol.25, pp.1863-1864, 2009.

H. S. Hu and Z. W. Li, Modeling and scheduling for manufacturing grid workflows using timed Petri nets, Int J Adv Manuf Tech, vol.42, pp.553-568, 2009.

H. S. Hu, L. Zw, and A. , Reversed fuzzy Petri nets and their application for fault diagnosis, Comput Ind Eng, vol.60, pp.505-510, 2011.

M. D. Jeng and M. C. Zhou, Engineering applications of Petri nets (special issue), IEEE T Syst Man Cy C, vol.37, pp.442-443, 2007.

O. Ng and G. Mej?´a, A reconfigurable multi-agent system architecture for error recovery in production systems, Robot Cim: Int Manuf, vol.19, pp.35-43, 2003.

Y. Tong, Z. W. Li, and C. Seatzu, Verification of statebased opacity using Petri nets. IEEE T Automat Contr. Epub ahead of print 24, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01786028

N. Q. Wu and M. C. Zhou, Shortest routing of bidirectional automated guided vehicles avoiding deadlock and blocking, IEEE/ASME T Mech, vol.12, pp.63-72, 2007.

N. Q. Wu, F. Chu, and C. B. Chu, Short-term schedulability analysis of multiple distiller crude oil operations in refinery with oil residency time constraint, IEEE T Syst Man Cy C, vol.39, pp.1-16, 2009.

N. Q. Wu, F. Chu, and C. B. Chu, Hybrid Petri net modeling and schedulability analysis of high fusion point oil transportation under tank grouping strategy for crude oil operations in refinery, IEEE T Syst Man Cy C, vol.40, pp.159-175, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00645147

N. Q. Wu and M. C. Zhou, Modeling, analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets, IEEE T Autom Sci Eng, vol.9, pp.446-454, 2012.

N. Q. Wu, F. Chu, and C. B. Chu, Petri net modeling and cycle-time analysis of dual-arm cluster tools with wafer revisiting, IEEE T Syst Man Cy A, vol.43, pp.196-207, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00735482

N. Q. Wu, M. C. Zhou, and Z. W. Li, Short-term scheduling of crude-oil operations: enhancement of crude-oil operations scheduling using a Petri net-based control-theoretic approach, IEEE Robot Autom Mag, vol.22, pp.64-76, 2015.

N. Q. Wu, M. C. Zhou, and L. P. Bai, Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines, Enterp Inform Syst, vol.10, pp.581-610, 2016.

J. H. Ye, Z. W. Li, and A. Giua, Decentralized supervision of Petri nets with a coordinator, IEEE T Syst Man Cy A, vol.45, pp.955-966, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01479628

E. Badouel and P. Darondeau, Theory of regions, Lectures on Petri nets I: basic models, vol.1491, pp.529-586, 1998.

Y. F. Chen and Z. W. Li, Most permissive livenessenforcing Petri net supervisors for flexible manufacturing systems, Int J Prod Res, vol.50, pp.6357-6371, 2012.

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

G. Ciardo, Reachability set generation for Petri nets: can brute force be smart?, Proceedings of the 25th international conference on applications and theory of Petri nets, vol.3099, pp.17-34, 2004.

P. Darondeau, Region based synthesis of P/T-nets and its potential applications, Proceedings of the 21st international conference on application and theory of Petri nets, vol.1825, pp.16-23, 2000.

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

H. S. Hu and Z. W. Li, Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs, Comput Ind Eng, vol.57, pp.1168-1181, 2009.

K. Mcmillan, Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, Computer aided verification, vol.663, pp.164-177, 1992.

A. S. Miner and G. Ciardo, Efficient reachability set generation and storage using decision diagrams, Application and theory of Petri nets: proceedings of the 20th international conference, vol.1639, pp.6-25, 1999.

M. Uzam, An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions, Int J Adv Manuf Tech, vol.19, pp.192-208, 2002.

S. G. Wang, M. C. Zhou, and Z. W. Li, A new modified reachability tree approach and its applications to unbounded Petri nets, IEEE T Syst Man Cy A, vol.43, pp.932-940, 2013.

X. Y. Zhang, Z. W. Li, and C. F. Zhong, Reachability analysis of a class of Petri nets using place invariants and siphons, Maejo Int J Sci Tech, vol.7, pp.278-290, 2013.

K. Barkaoui and B. Lemaire, An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory, Proceedings of the 10th international conference application theory Petri nets, pp.1-21, 1989.
URL : https://hal.archives-ouvertes.fr/hal-01125443

K. Barkaoui, A. Chaoui, and B. Zouari, Supervisory control of discrete event systems based on structure theory of Petri nets, Proceedings of the IEEE international conference on systems, man, and cybernetics, 1997: computational cybernetics and simulation, pp.3750-3755, 1997.
URL : https://hal.archives-ouvertes.fr/hal-01125433

K. Barkaoui and L. Petrucci, Structural analysis of workflow nets with shared resources, Proceedings of the workshop workflow management: net-based concepts, models, technology tools, vol.9807, pp.82-95, 1998.

K. Barkaoui and J. F. Peyre, Verification in concurrent programming with Petri nets structural techniques, Proceedings of the 3rd IEEE international high-assurance systems engineering symposium (HASE '98), pp.124-133, 1998.
URL : https://hal.archives-ouvertes.fr/hal-01124757

K. Barkaoui and J. F. Peyre, Uniform verification of workflow soundness, T I Meas Control, vol.33, pp.133-148, 2011.

D. Y. Chao, Maximal class of weakly live nets with nonempty siphons, IEEE T Syst Man Cy B, vol.36, pp.1332-1341, 2006.

C. Dc and W. M. Zuberek, Efficient siphon-based deadlock detection in Petri nets, Presented at the 3rd international conference on computer science and information technology, pp.23-26, 2007.

M. V. Iordache and P. J. Antsaklis, Supervision based on place invariants: a survey, Discrete Event Dyn S, vol.16, pp.451-492, 2006.

M. D. Jeng and X. L. Xie, Analysis of modularly composed nets by siphons, IEEE T Syst Man Cy A, vol.29, pp.399-406, 1999.

M. D. Jeng and X. L. Xie, Modeling and analysis of semiconductor manufacturing systems with degraded behavior using Petri nets and siphons, IEEE T Robotic Autom, vol.17, pp.576-588, 2001.

M. D. Jeng and X. L. Xie, Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons, Deadlock resolution in computer-integrated systems, pp.233-281, 2005.

L. Ridder and H. , Liveness in bounded Petri nets which are covered by T-invariants, Proceedings of the 13th international conference application theory Petri nets, vol.815, pp.358-375, 1994.

Z. W. Li, M. C. Zhou, and M. Uzam, Deadlock control policy for a class of Petri nets without complete siphon enumeration, IET Control Theory A, vol.1, pp.1594-1605, 2007.

D. Liu, L. X. Li, and Z. W. , FANM: extraction of a minimal siphon from a maxmial one, 2009.

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

D. Liu, Z. W. Li, and M. C. Zhou, A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets, Automatica, vol.49, pp.3167-3179, 2013.

D. Liu, Z. W. Li, and M. C. Zhou, Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems, IEEE T Syst Man Cy A, vol.43, pp.85-97, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01126296

G. Y. Liu, Z. W. Li, and C. F. Zhong, New controllability condition for siphons in a class of generalised Petri nets, IET Control Theory A, vol.4, pp.854-864, 2010.

S. A. Reveliotis, On the siphon-based characterization of liveness in sequential resource allocation systems, Applications and theory of Petri nets: proceedings of the 24th international conference, vol.2679, pp.241-255, 2003.

X. L. Xie and M. D. Jeng, ERCN-merged nets and their analysis using siphons, IEEE T Robotic Autom, vol.15, pp.692-703, 1999.

E. Yamalidou, J. O. Moody, and P. J. Antsaklis, Feedback control of Petri nets based on place invariants, Automatica, vol.32, pp.15-28, 1996.

C. F. Zhong and Z. W. Li, A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models, Eng Comput, vol.25, pp.269-278, 2009.

Y. F. Chen and Z. W. 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. F. Chen, L. Zw, and A. Am, Nonpure Petri net supervisors for optimal deadlock control of flexible manufacturing systems, IEEE T Syst Man Cy A, vol.43, pp.252-265, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01126362

Y. F. Chen, Z. W. Li, and K. Barkaoui, New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs, IEEE T Syst Man Cy A, vol.44, pp.1384-1400, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01126349

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 T Autom Sci Eng, vol.11, pp.549-563, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01126360

Y. F. Chen, Z. W. Li, and K. Barkaoui, Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems, Inform Sciences, vol.256, pp.74-90, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01126280

Y. F. Chen, Z. W. Li, and K. Barkaoui, On the enforcement of a class of nonlinear constraints on Petri nets, Automatica, vol.55, pp.116-124, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02479661

Y. F. Chen, Z. W. Li, and K. Barkaoui, Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs, IEEE T Syst Man Cy A, vol.47, pp.364-379, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02476553

Y. F. Chen, Z. W. Li, and K. Barkaoui, Monitor design with multiple self-loops for maximally permissive supervisors, ISA T, vol.61, pp.129-140, 2016.

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

Z. W. Li and M. C. Zhou, Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE T Syst Man Cy A, vol.34, pp.38-51, 2004.

Z. W. Li and M. C. Zhou, Clarifications on the definitions of elementary siphons in Petri nets, IEEE T Syst Man Cy A, vol.36, pp.1277-1279, 2006.

D. Y. Chao, Computation of elementary siphons for deadlock control, Comput J, vol.49, pp.470-479, 2006.

D. Y. Chao, Technical note-a graphic-algebraic computation of elementary siphons of BS 3 PR, J Inf Sci Eng, vol.23, pp.1817-1831, 2007.

D. Y. Chao, Incremental approach to computation of elementary siphons for arbitrary simple sequential processes with resources, IET Control Theory A, vol.2, pp.168-179, 2008.

D. Y. Chao and Z. W. Li, Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons, IET Control Theory A, vol.3, pp.391-403, 2009.

L. Hong and D. Y. Chao, Controllability of control and mixture weakly dependent siphons in S 3 PR, Int J Syst Sci, vol.44, pp.1377-1385, 2013.

Y. F. Hou, Z. W. Li, and M. Zhao, Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets, Int J Comp Integ M, vol.27, pp.85-102, 2014.

Y. F. Hou, Z. W. Li, and A. M. Al-ahmari, Extended elementary siphons and their application to livenessenforcement of generalized Petri nets, Asian J Control, vol.16, pp.1789-1810, 2014.

Y. F. Hou, Z. W. Li, and M. Zhao, Extraction of elementary siphons in a class of generalized Petri nets using graph theory, Eng Computation, vol.31, pp.331-352, 2014.

Y. F. Hou and M. Zhao, Update to ''Extraction of elementary siphons in a class of generalized Petri nets using graph theory, Eng Computation, vol.33, pp.331-352, 2016.

Y. F. Hou, M. Zhao, and D. Liu, An efficient siphonbased deadlock prevention policy for a class of generalized Petri nets, Discrete Dyn Nat Soc, vol.2016, pp.8219424-8219425, 2016.

H. S. Hu and Z. W. Li, An optimal-elementary-siphonsbased iterative deadlock prevention policy for flexible manufacturing systems, Int J Adv Manuf Tech, vol.38, pp.309-320, 2008.

L. Sy and Z. W. Li, Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control, Int J Prod Res, vol.50, pp.6203-6218, 2012.

Z. W. Li and N. Wei, Deadlock control of flexible manufacturing systems via invariant-controlled elementary siphons of Petri nets, Int J Adv Manuf Tech, vol.33, pp.24-35, 2007.

Z. W. Li and M. C. Zhou, Control of elementary and dependent siphons in Petri nets and their application, IEEE T Syst Man Cy A, vol.38, pp.133-148, 2008.

Z. W. Li and M. C. Zhou, A polynomial-complexity approach to decide the existence of a maximally permissive Petri net supervisor using elementary siphons, Proceedings of the IEEE international conference on networking, sensing and control, pp.608-613, 2009.

M. Qin, L. Zw, and A. Am, Elementary-siphonbased control policy for flexible manufacturing systems with partial observability and controllability of transitions, Asian J Control, vol.17, pp.327-342, 2015.

A. R. Wang, Z. W. Li, and J. Y. Jian, An effective algorithm to find elementary siphons in a class of Petri nets, IEEE T Syst Man Cy A, vol.39, pp.912-923, 2009.

K. Barkaoui and J. F. Pradat-peyre, On liveness and controlled siphons in Petri nets, Proceedings of the 17th international conference on application and theory of Petri nets, vol.1091, pp.57-72, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01124759

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

K. Barkaoui, B. Abdallah, and I. , Analysis of a resource allocation problem in FMS using structure theory of Petri nets, Proceedings of the 1st international workshop on manufacturing and Petri nets, pp.24-28, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01125436

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

D. Y. Chao, Max#-controlled siphons for liveness of S 3 PGR 3, IET Control Theory A, vol.1, pp.933-936, 2007.

E. Teruel and M. Silva, Structure theory of equal conflict systems, Theor Comput Sci, vol.153, pp.271-300, 1996.

C. F. Zhong and Z. W. Li, Self-liveness of a class of Petri net models for flexible manufacturing systems, IET Control Theory A, vol.4, pp.403-410, 2010.

G. Y. Liu and K. Barkaoui, Necessary and sufficient liveness condition of GS 3 PR Petri nets, Int J Syst Sci, vol.46, pp.1147-1160, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02479669

X. X. Guan, W. H. Wu, and S. G. Wang, New controllability condition for siphons in WS 3 PR nets, Asian J Control, vol.17, pp.908-916, 2015.

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

Z. W. Li, M. C. Zhou, and M. D. Jeng, A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions, IEEE T Autom Sci Eng, vol.5, pp.182-188, 2008.

N. Wei and Z. W. Li, On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions, Int J Adv Manuf Tech, vol.38, pp.195-204, 2008.

M. Zhao, Z. W. Li, and H. S. Hu, Suboptimal livenessenforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming, Int J Syst Sci, vol.41, pp.1013-1026, 2010.

I. B. Abdallah, H. A. Elmaraghy, and T. Elmekkawy, A logic programming approach for finding minimal siphons in S 3 PR nets applied to manufacturing systems, Proceedings of the IEEE international conference on systems, man, and cybernetics, pp.1710-1715, 1997.

R. Cordone, L. Ferrarini, and L. Piroddi, Enumeration algorithms for minimal siphons in Petri nets based on place constraints, IEEE T Syst Man Cy A, vol.35, pp.844-854, 2005.

F. Chu and X. L. Xie, Deadlock analysis of Petri nets using siphons and mathematical programming, IEEE T Robotic Autom, vol.13, pp.793-804, 1997.

Y. S. Huang, M. D. Jeng, and X. L. Xie, Deadlock prevention policy based on Petri nets and siphons, Int J Prod Res, vol.39, pp.283-305, 2001.

S. Y. Li, L. Zw, and H. S. Hu, Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets, Int J Comp Integ M, vol.24, pp.710-725, 2011.

D. Y. Chao, Direct minimal empty siphon computation using MIP, Int J Adv Manuf Tech, vol.45, pp.397-405, 2009.

K. Barkaoui, C. Dutheillet, and S. Haddad, An efficient algorithm for finding structural deadlocks in colored Petri nets, pp.69-88, 1993.
URL : https://hal.archives-ouvertes.fr/hal-01125464

J. Ezpeleta, J. M. Couvreur, and M. Silva, A new technique for finding a generating family of siphons, traps and stcomponents: application to colored Petri nets, Lecture notes in computer science), vol.674, pp.126-147, 1993.

K. Lautenbach, Linear algebraic calculation of deadlocks and traps, Concurrency and nets, pp.315-336, 1987.

A. R. Wang, Z. W. Li, and J. Y. Jia, Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufacturing systems, T I Meas Control, vol.32, pp.182-201, 2011.

M. Yamauchi and T. Watanabe, Algorithms for extracting minimal siphons containing specified places in a general Petri net, IEICE T Fund Electr, vol.82, pp.2566-2575, 1999.

Y. F. Chen and G. Y. Liu, Computation of minimal siphons in Petri nets by using binary decision diagrams, ACM T Embed Comput S, vol.12, pp.1-3, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01126365

T. Ezpeleta and J. , Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets, Proceedings of the IEEE conference on emerging technologies and factory automation (ETFA), pp.322-329, 2003.

F. Tricas and J. Ezpeleta, Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution, IEEE T Syst Man Cy A, vol.36, pp.532-539, 2006.

E. R. Boer and T. Murata, Generating basis siphons and traps of Petri nets using the sign incidence matrix, IEEE T Circuits: I, vol.41, pp.266-271, 1994.

K. Y. Xing and B. S. Hu, Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems, Proceedings of the IEEE international conference on systems, man and cybernetics, pp.282-287, 2005.

S. G. Wang, C. Y. Wang, and M. C. Zhou, A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets, IEEE T Syst Man Cy A, vol.42, pp.226-237, 2012.

M. Liu, W. Sg, and Z. W. Li, Sufficient conditions for loop resource subsets to derive strict minimal siphons in class of Petri nets, Electron Lett, vol.50, pp.25-27, 2014.

J. Esparza and M. Silva, Circuits, handles, bridges and nets, Advances in Petri nets 1990, vol.483, pp.210-242, 1990.

D. Y. Chao, An incremental approach to extracting minimal bad siphons, J Inf Sci Eng, vol.23, pp.203-214, 2007.

D. Y. Chao, Searching strict minimal siphons for SNCbased resource allocation systems, J Inf Sci Eng, vol.23, pp.853-867, 2007.

Z. W. Li, M. C. Zhou, and N. Q. Wu, A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems, IEEE T Syst Man Cy C, vol.38, pp.172-188, 2008.

Z. W. Li and M. C. Zhou, On siphon computation for deadlock control in a class of Petri nets, IEEE T Syst Man Cy A, vol.38, pp.667-679, 2008.

S. Y. Li, Z. W. Li, and H. S. Hu, An extraction algorithm for a set of elementary siphons based on mixed-integer programming, J Syst Sci Syst Eng, vol.21, pp.106-125, 2012.

H. X. Liu, K. Y. Xing, and F. Wang, A polynomial algorithm for computing elementary siphons in a class of Petri nets, Asian J Control, vol.14, pp.1141-1149, 2012.

F. Wang, K. Y. Xing, and X. P. Xu, Research on finding elementary siphon in a class of Petri nets, Communications in computer and information science, vol.289, pp.435-442, 2012.

K. Y. Xing, M. C. Zhou, and F. Wang, Resource-transition circuits and siphons for deadlock control of automated manufacturing systems, IEEE T Syst Man Cy A, vol.41, pp.74-84, 2011.

D. Y. Chao and G. J. Liu, A simple suboptimal siphonbased control model of a well-known S 3 PR, Asian J Control, vol.14, pp.163-172, 2012.

D. Y. Chao, T. Y. Chen, and J. T. Chen, A best deadlock control for S 3 PMR to reach all states, Asian J Control, vol.14, pp.278-283, 2012.

D. Y. Chao, A new optimal control policy for a wellknown S 3 PR (systems of simple sequential processes with resources), Int J Prod Res, vol.50, pp.6259-6271, 2012.

H. X. Liu, K. Y. Xing, and W. M. Wu, Deadlock prevention for flexible manufacturing systems via controllable siphon basis of Petri nets, IEEE T Syst Man Cy A, vol.45, pp.519-529, 2015.

L. Hong, Y. F. Hou, and J. F. Jing, Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors, Discrete Dyn Nat Soc, vol.2015, pp.579623-579624, 2015.

M. Zhao, Y. F. Hou, and D. Liu, Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming, Int J Control, vol.83, pp.2053-2066, 2010.

M. Zhao and Y. F. Hou, An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming, Discrete Event Dyn S, vol.23, pp.3-26, 2013.

Y. S. Huang, M. D. Jeng, and X. L. Xie, Siphon-based deadlock prevention policy for flexible manufacturing systems, IEEE T Syst Man Cy A, vol.36, pp.1248-1256, 2006.
URL : https://hal.archives-ouvertes.fr/emse-00449382

Y. Y. Shih and D. Y. Chao, Sequence of control in S 3 PMR, Comput J, vol.53, pp.1691-1703, 2010.

S. Y. Li, A. A. Wang, and Y. , Design of livenessenforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons, J Intell Manuf, vol.24, pp.1157-1173, 2013.

L. Sy and Z. W. Li, Structure reduction of livenessenforcing Petri nets using mixed integer programming, Asian J Control, vol.14, pp.384-399, 2012.

S. Y. Li, A. M. An, and H. M. Wu, Policy to cope with deadlocks and livelocks for flexible manufacturing systems using the max#-controlled new smart siphons, IET Control Theory A, vol.8, pp.1607-1616, 2014.

Z. W. Li, H. S. Hu, and A. R. Wang, Design of livenessenforcing supervisors for flexible manufacturing systems using Petri nets, IEEE T Syst Man Cy C, vol.37, pp.517-526, 2007.

Z. W. Li and M. C. Zhou, Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets, IEEE T Ind Inform, vol.2, pp.313-325, 2006.

G. J. Liu, C. J. Jiang, and M. C. Zhou, Improved sufficient condition for the controllability of dependent siphons in system of simple sequential processes with resources, IET Control Theory A, vol.5, pp.1059-1068, 2011.

Y. F. Hou, L. Zw, and A. Am, Optimal controllability of 2-composed siphons in a class of Petri nets, Electron Lett, vol.48, pp.1535-1537, 2012.

Y. F. Hou, Z. W. Li, and L. Hong, Optimal controllability of 3-composed siphons in a class of Petri nets, Electron Lett, vol.49, pp.697-699, 2013.

M. Abdul-hussin, Design of a Petri net based deadlock prevention policy supervisor for S 3 PR, Proceedings of the 6th international conference on intelligent systems, modelling and simulation, pp.46-52, 2015.

L. Piroddi, R. Cordone, and I. Fumagalli, Selective siphon control for deadlock prevention in Petri nets, IEEE T Syst Man Cy A, vol.38, pp.1337-1348, 2008.

L. Piroddi, R. Cordone, and I. Fumagalli, Combined siphon and marking generation for deadlock prevention in Petri nets, IEEE T Syst Man Cy A, vol.39, pp.650-661, 2009.

A. R. Wang, Z. W. Li, and M. C. Zhou, Iterative deadlock control by using Petri nets, IEEE T Syst Man Cy C, vol.42, pp.1204-1218, 2012.

D. Y. Chao, Enumeration of lost states of a suboptimal control model of a well-known S 3 PR. IET Control Theory, A, vol.5, pp.1277-1286, 2011.

D. Y. Chao, J. T. Chen, and M. Uzam, Reaching most states via refining controller regions for supervisors of two well-known S 3 PRs, Int J Prod Res, vol.51, pp.4421-4430, 2013.

Y. S. Huang and Y. L. Pan, Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems, Int J Adv Manuf Tech, vol.48, pp.725-737, 2010.

D. Y. Chao, Comments on ''enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems, Int J Adv Manuf Tech, vol.60, pp.625-629, 2012.

D. Y. Chao and K. C. Wu, An integrated approach for supervisory control of a subclass of Petri nets, T I Meas Control, vol.35, pp.117-130, 2013.

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, pp.1028-1034, 2011.

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

Y. L. Pan, Y. S. Huang, and M. D. Jeng, Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method, Int J Adv Manuf Tech, vol.66, pp.1805-1815, 2013.

D. Y. Chao, Improvement of suboptimal siphon-and FBM-based control model of a well-known S 3 PR, IEEE T Autom Sci Eng, vol.8, pp.404-411, 2011.

G. Y. Liu, D. Y. Chao, and M. Uzam, A merging method for the siphon-based FMS maximally permissive controllers with simpler structures, IMA J Math Control I, vol.31, pp.551-573, 2014.

D. Y. Chao, A merging method for the siphon-based flexible manufacturing systems maximally permissive controllers with simpler structures, IMA J Math Control I, vol.33, pp.163-171, 2016.

G. Y. Liu and K. Barkaoui, A survey of siphons in Petri nets, Inform Sciences, vol.363, pp.198-220, 2016.

Z. W. Li, N. Q. Wu, and M. C. Zhou, Deadlock control of automated manufacturing systems based on Petri netsa literature review, IEEE T Syst Man Cy C, vol.42, pp.437-462, 2012.

A. Giua, F. Dicesare, and M. Silva, Generalized mutual exclusion constraints on nets with uncontrollable transitions, Proceedings of the IEEE international conference on system, man, cybernetics, pp.974-979, 1992.

A. Giua and F. Dicesare, On the existence of Petri net supervisors, Proceedings of the IEEE 31st conference on decision and control, pp.3380-3385, 1992.

A. Giua, F. Dicesare, and M. Silva, Petri net supervisor for generalized mutual exclusion constraints, Proceedings of the 12th triennial world congress of the international-federation-of-automatic-control, vol.1, pp.267-270, 1993.

A. Giua and C. Seatzu, Observability of place/transition nets, IEEE T Automat Contr, vol.47, pp.1424-1437, 2002.

A. Giua and X. L. Xie, Control of safe ordinary Petri nets using unfolding, Discrete Event Dyn S, vol.15, pp.349-373, 2005.
URL : https://hal.archives-ouvertes.fr/emse-00449397

A. Giua and C. Seatzu, A systems theory view of Petri nets, Advances in control theory and applications, vol.353, pp.99-127, 2007.

M. A. Lawley, R. Sa, and P. M. Ferreira, Flexible manufacturing system structural control and the neighborhood policy, part 2: generalization, optimization, and efficiency, IIE Trans, vol.29, pp.889-899, 1997.

M. A. Lawley and W. Sulistyono, Robust supervisory control policies for manufacturing systems with unreliable resources, IEEE T Robotic Autom, vol.18, pp.346-359, 2002.

Z. W. Li and D. Liu, A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net, Int J Prod Res, vol.45, pp.2161-2165, 2007.

O. Ng and G. Mej?´a, An augmented Petri net approach for error recovery in manufacturing systems control, Robot Cim: Int Manuf, vol.21, pp.346-354, 2005.

S. A. Reveliotis, Liveness enforcing supervision for sequential resource allocation systems: state of the art and open issues, pp.203-212, 2002.

E. Roszkowska and R. Wojcik, Problems of process flow feasibility in FAS, CIM in process and manufacturing industries, pp.115-120, 1993.

M. Singhal, Deadlock detection in distributed systems, Computer, vol.22, pp.37-48, 1989.

S. Valette and R. , Petri nets and flexible manufacturing, Lecture notes in computer science). Heidelberg, vol.424, pp.374-417, 1989.

S. Teruel and E. , A systems theory perspective of discrete event dynamic systems: the Petri net paradigm, Proceedings of the symposium discrete events manufacturing systems, pp.1-12, 1996.

Y. Tong, Z. W. Li, and A. Giua, On the equivalence of observation structures for Petri net generators, IEEE T Automat Contr, vol.61, pp.2448-2462, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01479623

A. Trappey, D. W. Hsiao, and L. Ma, Maintenance chain integration using Petri-net enabled multiagent system modeling and implementation approach, IEEE T Syst Man Cy C, vol.41, pp.306-315, 2011.

T. Martinez and J. , An extension of the liveness theory for concurrent sequential processes competing for shared resources, Proceedings of the IEEE international conference on systems, pp.3035-3040, 1995.

W. M. Wonham, Supervisory control of discrete event systems, 2009.

R. A. Wysk, Y. Ns, and S. Joshi, Detection of deadlocks in flexible manufacturing cells, IEEE T Robotic Autom, vol.7, pp.853-859, 1991.

, Deadlock resolution in computer-integrated systems, Marcel Dekker, 2005.

M. C. Zhou and Z. W. Li, Special issue on ''Petri nets for system control and automation, Asian J Control, vol.12, pp.237-239, 2010.