Petri nets: Properties, analysis and applications, Proc. IEEE 1989, vol.77, pp.541-580 ,
Scheduling FMS with alternative routings using Petri nets and near admissible heuristic search, Int. J. Adv. Manuf. Technol, vol.63, pp.1131-1136, 2012. ,
A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Trans. Robot. Autom, vol.11, pp.173-184, 1995. ,
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets, IEEE Trans. Syst. Man Cybern. C, vol.37, pp.517-526, 2007. ,
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. ,
Flexible manufacturing systems, Optimal Design of Flexible Manufacturing Systems ,
, , pp.5-11, 1990.
Theory of regions, Lectures on Petri Nets I: Basic Models, pp.529-586, 1998. ,
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
, , pp.155-166, 2002.
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
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. ,
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
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
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
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. ,
An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems, Int. J. Product. Res, vol.44, 1987. ,
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. ,
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. ,
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. ,
, , 2017.
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems, IEEE Trans. Robot. Autom, vol.16, pp.190-195, 2000. ,
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. ,
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. ,
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
Control Synthesis Based on Theory of Regions with Minimal Reachability Graph Knowledge, vol.49, pp.1383-1388, 2016. ,
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. ,
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. ,
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. ,
Termination Analysis with Compositional Transition Invariants, Proceedings of the International Conference on Computer-Aided Verification (CAV), pp.89-103, 2010. ,