Polynomial algorithms for the synthesis of bounded nets, Proccedings Caap 95, Lecture notes in computer science 915, pp.364-378, 1994. ,
DOI : 10.1007/3-540-59293-8_207
URL : https://hal.archives-ouvertes.fr/inria-00074358
The Supervised Control of Discrete-Event Dynamic Systems, IEEE Transactions on control systems technology, vol.7, issue.2, 1999. ,
Ten Years of Saturation: A Petri Net Perspective, ToPNoC V, pp.51-95, 2012. ,
DOI : 10.1007/978-3-642-29072-5_3
Petri Nets and Grafcet, Tools for Modelling Discrete Event Systems, 1992. ,
Negotiations and Petri Nets, Proceedings of the International Workshop on Petri Nets and Software, Engineering PNSE'15, 2015. ,
DOI : 10.1109/MC.2003.1236471
Synthèse de contrôleurs discrets par simplification de contraintes et de conditions, Thèse de Doctorat PhD, 2007. ,
Refinement and Asynchronous Composition of Modal Petri Nets, Lecture Notes in Computer Science LNCS, vol.6900, 2012. ,
DOI : 10.1007/978-3-642-29072-5_4
Partial 2-structures, Part II: State Spaces of Concurrent Systems, Acta Informatica, vol.26, pp.96-120, 1990. ,
Set separation problems and global optimization, Third world congress of nonlinear analysts, pp.47-1857, 2001. ,
DOI : 10.1016/S0362-546X(01)00316-9
Systèmes dynamiques à événement discrets Du modèle à la commande, 2013. ,
Sp??cifications modales de r??seaux de Petri, MSR'05, pp.287-301, 2005. ,
DOI : 10.3166/jesa.39.287-301
Diagnosticabilité de motifs de supervision par dépliage de réseaux de Petri, Manifestation avec acte : 5e Journées Doctorales, Journées Nationales MACS, pp.139-144, 2013. ,
Supervisory synthesis techniques for discrete event dynamical systems, Thesis PhD, 1991. ,
On controllability and normality of discrete event dynamical systems, Systems & Control Letters, vol.17, issue.3, pp.157-158, 1991. ,
DOI : 10.1016/0167-6911(91)90061-I
Etude du comportement global d'un SED en vue de la validation de sa commande sp??cifi??e par Grafcet, Journal Europ??en des Syst??mes Automatis??s, vol.42, issue.1, pp.63-94, 2009. ,
DOI : 10.3166/jesa.42.63-94
Supervisory control of discrete event systems using petri nets, springer-science + business media Un nouvel algorithme pour la synthèse de la commande des systèmes à événements discrets. Troisième conférence francophone de modélisation et simulation, new york Nourelfath Mustapha, 1998. ,
Relaxation du concept de contrôlabilité pour une synthèse de la commande des systèmes de production, Première Conférence Internationale Francophone d'Automatique (CIFA), pp.5-8, 2000. ,
Supervisory control of a class of discrete event processes, Lecture Notes in Computer Science (LNCIS), vol.63, pp.477-498, 1983. ,
Analysis of Asynchronous Concurrent Systems by Petri Nets, Massachusetts. Institute of Technology, 1974. ,
Contribution à la commande sûre des Systèmes à Evènements Discrets. Habilitation à diriger des recherches, 2015. ,
Synthèse de contrôleurs des systèmes à événements discrets basée sur les réseaux de Pétri, Thèse PhD, 2012. ,
Infinity of intermediate states is decidable for Petri Nets, Lecture Notes in Computer Science, applications and theory of Petri Nets international Conference, LNCS, vol.3099, pp.426-434, 2004. ,