Petri nets: Properties, analysis and applications, Proc. IEEE 1989, vol.77, pp.541-580 ,
Modular supervisory control of discrete event systems, Analysis and Optimization of Systems, pp.202-214, 1986. ,
Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, pp.206-230, 1987. ,
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. ,
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
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
Concurrency bugs in multithreaded software: Modeling and analysis using Petri nets, Discret. Event Dyn. Syst, vol.23, pp.157-195, 2013. ,
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. ,
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
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. ,
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
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. ,
Structural decomposition and decentralized control of Petri nets, IEEE Trans. Syst. Man Cybern. Syst, vol.48, pp.1360-1369, 2017. ,
First-order hybrid Petri nets: A model for optimization and control, IEEE Trans. Robot. Autom, vol.16, pp.382-399, 2000. ,
Management of intermodal freight terminals by first-order hybrid Petri nets, IEEE Robot. Autom. Lett, vol.1, pp.2-9, 2015. ,
Ed.) Petri Nets in Flexible and Agile Automation ,
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. ,
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. ,
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. ,
An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems, Int. J. Prod. Res, vol.44, 1987. ,
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. ,
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. ,
The real-time supervisory control of an experimental manufacturing system based on a hybrid method, Control Eng. Pract, vol.17, pp.1174-1189, 2009. ,
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings, IEEE Trans. Autom. Control, vol.46, pp.1572-1583, 2001. ,
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. ,
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. ,
Theory of Regions for Control Synthesis without, Computing Reachability Graph. Appl. Sci, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02968010
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
Control Synthesis Based On Theory of Regions with Minimal Reachability Graph Knowledge, vol.49, pp.1383-1388, 2016. ,
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