S. Collart-dutilleul and E. Craye, Performance and Tolerance evaluation with respect to forbidden states, Proc. of IFAC Safeprocess'03, 2003.

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Robust Control of Multi-product Job-shops in Repetitive Functioning Mode The Hague, IEEE Conference on Systems, Man, and Cybernetics, pp.4917-4922, 2004.

S. Collart-dutilleul, H. Dhouibi, and E. Craye, « Tolerance analysis approach with interval constrainted Petri nets, European Simulation and Modelling Conference (ESMc) 2004 conference

F. Chetouane, S. Collart-dutilleul, and J. Denat, Modelling And Analysis Of Time Constraints Using P-Time Petri Nets For A Multi-Hoist Electroplating Line, Control of Production and Logistics MCPL'04, pp.279-284, 2004.

H. Dhouibi, S. Collart-dutilleul, L. Nabli, and E. , Craye « Utilisation de la simulation pour valider la robustesse d'un système hybride » MHOSI'05, Méthodologies et Heuristiques pour l'Optimisation des Systèmes Industriels », 2005.

H. Dhouibi, S. Collart-dutilleul, L. Nabli, and E. , Craye « Méthode de Surveillance Indirecte d'un Système de Production par la logique floue : cas d'une manufacture de tabac, JISPME05, Journées Internationales Scientifiques et Pédagogiques de Mécanique et d'Energétique », 2005.

J. P. Denat, S. Collart-dutilleul, and F. Chetouane, Cycle time calculation for electroplating lines steady state operation using P-time Strongly Connected Event Graphs, 17th IMACS World Congress (IMACS'2005), 2005.

C. Fathi-karoui-mohamed, C. Simon, and . Etienne, Robustness of the linear workshop to the change of ratio, 16th IFAC World Congress, 2005.

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Observability of Tolerant Multiproduct Job-shops in Repetitive Functioning Mode, 17th IMACS Word Congress on Scientific Computation, 2005.

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Robustesse d'un atelier à tâches sans assemblage en fonctionnement répétitif, Séminaire d'Automatique ? Industrie (SAI'06), 2006.

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Commandabilité de systèmes manufacturiers à contraintes de temps, 2006.
DOI : 10.3166/jesa.43.7-33

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Intégration de la robustesse dans la supervision de systèmes manufacturiers à contraintes de temps, Conférence Internationale Francophone d'Automatique (CIFA'06), 2006.

L. Nabli, H. Dhouibi, S. Collart-dutilleul, and E. Craye, « Utilisation de la logique floue pour la surveillance prédictive indirecte d'un système de production : cas d'une manufacture de tabac », 2006.

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Localization of Time Disturbances in Tolerant Multi-product Job-shops Without Assembling Tasks, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications", pp.45-50, 2006.
DOI : 10.1109/CESA.2006.4281621

F. Collart-dutilleul, P. Defossez, and . Bon, Safety requirements and p-time Petri nets: A Level Crossing case study, Conférence, Computational Engineering in Systems Applications (CESA'06), 2006.

F. Defossez, S. Collart-dutilleul, and P. Bon, Formal methods and temporal safety requirement: a level crossing application, pp.26-28, 2007.

R. Öörni, S. Collart-dutilleul, L. Khoudour, and M. Heddebaut, Use of fixed and wireless communication technologies in LC safety application, Proceeding of 2nd SELCAT Safer European Level Crossing Appraisal and Technology Workshop, 2007.

S. Collart-dutilleul, N. Jerbi, E. Craye, and M. Benrejeb, Robust Control of Multi-product Job-shops in Repetitive Functioning Mode " , proceeding of MCPL`07, 2007.

F. Defossez, S. Collart-dutilleul, and P. , Bon « Synthèse de contrôle de systèmes à événements discrets temporisés : application au passage à niveau » Conférence Internationale Francophone d'Automatique CIFA08, 2008.

F. Defossez and P. Bon, Collart-Dutilleul S., «Taking advantage of some complementary modeling methods to meet critical system requirement specification», Eleventh International Conference on Computer System Design and Operations in the Railway and Other Transit Systems Tolède (Espagne), 2008.

F. Defossez, S. Collart-dutilleul, and P. Bon, Temporal requirements checking in a safety analysis of railway systems, Eleventh International Conference on Computer System Design and Operations in the Railway and Other Transit Systems Forms, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00584005

H. Dhouibi, S. Collart-dutilleul, L. Nabli, and E. , Craye, «Utilisation des Réseaux de Petri à Intervalles pour la régulation: cas d'assemblage mécanique » Conférence Internationale Francophone d'Automatique CIFA08, 2008.

S. Collart-dutilleul, Contribution à l'observation de la propagation de défaillances dans un système par les Réseaux de Petri Colorés, 1993.

C. Dutilleul, S. Denat, and J. P. , Use of Periodic Controlled Petri Net for Discrete event Dynamical System Control Synthesis, ECC95, pp.2060-2065, 1995.

W. Khansa, J. P. Denat, and S. Et-collart-dutilleul, Analysis of robustness using the periodic functioning of Timed Event Graphs, CIMAT96, pp.180-185

W. Khansa, J. P. Denat, and S. Et-collart-dutilleul, P-Time PN for Manufacturing Systems, Congrès IEE WODES'96, pp.94-102

C. Dutilleul, S. , and J. P. Denat, Periodic patterned control and periodic output flows, pp.108-113, 2001.

C. Dutilleul, S. , and E. Craye, Performance and Tolerance evaluation with respect to forbidden states, Proc. of IFAC Safeprocess'03, 2003.

. Fathi-karoui-mohamed, C. Simon, and . Etienne, Robustness of the linear workshop to the change of ratio, 16th IFAC World Congress, 2005.

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Observability of Tolerant Multi-product Job-shops in Repetitive Functioning Mode, 17th IMACS Word Congress on Scientific Computation, 2005.

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Robustesse d'un atelier à tâches sans assemblage en fonctionnement répétitif, Séminaire d'Automatique ? Industrie (SAI'06), 2006.

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Commandabilité de systèmes manufacturiers à contraintes de temps, 2006.

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Time Disturbances and Filtering of Sensors Signals in Tolerant Multi-product Job-shops with Time Constraints, International Journal of Computers Communications & Control, vol.1, issue.4, pp.61-72, 2006.
DOI : 10.15837/ijccc.2006.4.2308

N. Jerbi, S. Collart-dutilleul, E. Craye, and M. Benrejeb, Localization Algorithm of Time Disturbances in Tolerant Multi-product Job-shops, Studies in Informatics Control(SIC), vol.16, issue.1, 2007.

S. , C. Dutilleul, N. Jerbi, E. Craye, and M. Benrejeb, Robust Control of Multi-product Job-shops in Repetitive Functioning Mode, 2007.

J. Nabil and ;. Simon, Craye Etienne Commande robuste des ateliers manufacturiers à contraintes de temps, Journal Européen des Systèmes automatisés (JESA)

L. Rdp and P. , une sous classe des RdP à intervalles, p.113

C. Dutilleul, S. , and P. Yim, Time window specification and validation with Petri nets, 9th IEEE International Conference on Emerging Technologies and Factory Automation, Lisbone, pp.232-237, 2003.

C. Dutilleul, S. , H. Dhouibi, and E. Craye, « Internal Robustness of Discret Event System with internal constraints in repetitive functionning mode, 2003.

C. Dutilleul, S. , H. Dhouibi, and E. Craye, « Tolerance analysis approach with interval constrainted Petri nets, European Simulation and Modelling Conference (ESMc) 2004 conference

L. Nabli, H. Dhouibi, C. Dutilleul, S. Craye, and E. , « Utilisation de la logique floue pour la surveillance prédictive indirecte d'un système de production : cas d'une manufacture de tabac », 2006.

H. Dhouibi, S. Collart-dutilleul, L. Nabli, and E. Craye, Using Interval Constrained Petri Nets for Reactive Control Design, International Journal fdr Manufacturing Science & Production
URL : https://hal.archives-ouvertes.fr/hal-00837888

L. Nabli, H. Dhouibi, C. Dutilleul, S. Craye, and E. , Using Petri Net models for regulation: case of assembly process mechanics" Internayional review for Automatic Control

L. Nabli, H. Dhouibi, C. Dutilleul, S. Craye, and E. , Using Interval Constrained Petri Nets for Regulation of Quality: The Case of Weight in Tobacco Factory, IJICS -International Journal of Intelligent Control and Systems
URL : https://hal.archives-ouvertes.fr/hal-00837877

D. Andreu, Commande et supervision des procédés discontinus : une approche hybride, Thèse de Doctorat, 1996.

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415

P. «. Bon, Du cahier des charges aux spécifications formelles : une méthode basée sur les RdP de haut-niveau, Thèse de doctorat, 2000.

P. Bonhomme, Réseaux de Petri P-temporels : Contributions à la commande robuste, Thèse de Doctorat, 2001.

P. Bonhomme and R. , Control of time critical systems using partial order, 17th IMACS Word Congress on Scientific Computation, pp.4-99, 2005.

J. Boulanger, B. P. Mariano, and G. , « From UML to B : a level crossing case, pp.351-359, 2006.

G. W. Brams, Réseaux de Petri : Théorie et pratique, Tome 1 : Théorie et analyse, Tome 2 : Modélisation et applications, 1982.

P. [. Calvez, W. Aygalinc, and . Khansa, P-time PN for manufacturing systems with staying times constraints, IFAC CIS Congress, pp.495-500, 1997.

[. Cenelec, Applications ferroviaires : systèmes de signalisation, de télécommunications et de traitement logiciels pour systèmes de commande et de protection ferroviaire, 2001.

F. Chetouane, C. Dutilleul, S. Denat, and J. , Modelling And Analysis Of Time Constraints Using P-Time Petri Nets For A Multi-Hoist Electroplating Line, Control of Production and Logistics MCPL'04, pp.279-284, 2004.

F. Chetouane, J. Denat, and . Simon, A Flexible Control for Manufacturing Automated Electroplating Lines, Journal for Manufacturing Science and Production, vol.8, issue.1, pp.33-48, 2007.
DOI : 10.1515/IJMSP.2007.8.1.33

. [. Chrétienne, Les réseaux de Petri temporisés, Thèse de Doctorat d'Etat, 1983.

C. Dutilleul, S. , and J. P. Denat, Use of periodic controlled Petri nets for Discrete Event Dynamical Control Synthesis, p.95

J. [. Collart-dutilleul and . Denat, Periodic patterned control and periodic output flows, IFAC conference Large Scale System (LSS'2001), pp.108-113, 2001.

]. S. Col03a, H. Collart-dutilleul, E. Dhouibi, and . Craye, Internal Robustness of Discrete Event System with internal constraints in repetitive functioning mode, ACS, 2003.

C. Dutilleul, S. , and E. Craye, Performance and Tolerance evaluation with respect to forbidden states, Proc. of IFAC Safeprocess'03, 2003.

C. Dutilleul, S. Denat, and J. , Valid transient mode with respect to time constraints in a bufferless flow shop with single transportation resource, Computational Engineering in Systems Applications cesa2003, 2003.

C. Dutilleul, S. , H. Dhouibi, and E. Craye, « Tolerance analysis approach with interval constrainted Petri nets, European Simulation and Modelling Conference (ESMc) 2004 conference

[. Dutilleul, F. Defossez, P. Bon, N. Jerbi, E. Craye et al., Safety requirements and p-time Petri nets: A Level Crossing case study Computational Engineering in Systems Applications (CESA'06), Beijing, CD-ROM T4-I-35-0490 , Octobre Robust Control of Multiproduct Job-shops in Repetitive Functioning Mode, 2006.

C. Dutilleul and S. , Ateliers à Contraintes de Temps de Séjour : Application à la Galvanoplastie, Thèse de Doctorat, 1997.

[. Dutilleul, S. , and J. Denat, P-time Petri Nets and robust control of electroplating lines using several hoists". CIS'97 congrès IFAC-IFIP-IMACS, pp.501-506

C. Dutilleul, S. Chetouane, F. , and J. Denat, Control robustness towards staying time constraints applied to food distribution". MCPL'97 congrès IFAC-IFIP, 1997.

C. Dutilleul, S. Chetouane, and F. , Human Integration and participation in time constraint workshop with limiting transportation resources, IEEE BASYS'98, 1998.

A. [. Commoner, S. Holt, A. Even, and . Pnueli, Marked directed graphs, Journal of Computer and System Sciences, vol.5, issue.5, pp.511-523, 1971.
DOI : 10.1016/S0022-0000(71)80013-2
URL : http://doi.org/10.1016/s0022-0000(71)80013-2

[. , E. Lag, and L. <<corine>>, COduite Robuste et INtelligente dans les Entreprises manufacturières, 1996.

P. Declerck and A. Guezzi, Cécile Gros « Temps de cycle des graphes d'év´énements temporisées et P-temporels » Conférence Internationale Francophone d'Automatique CIFA08, 2008.

F. Defossez and P. Bon, Formal methods and temporal safety requirements: a level crossing application, 2007.

F. Defossez, C. Dutilleul, S. , and P. Bon, Temporal requirements checking in a safety analysis of railway systems, Eleventh International Conference on Computer System Design and Operations in the Railway and Other Transit Systems Forms, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00584005

F. Defossez, P. Bon, C. Dutilleul, and S. , «Taking advantage of some complementary modeling methods to meet critical system requirement specification», Eleventh International Conference on Computer System Design and Operations in the Railway and Other Transit Systems Tolède (Espagne), 2008.

H. Dhouibi, Utilisation des réseaux de Petri à intervalles pour la régulation d'une qualité : Application à une manufacture de tabac, Thèse de Doctorat, 2005.

]. H. Dho08a, S. Dhouibi, L. Collart-dutilleul, and E. Nabli, Craye, «Utilisation des Réseaux de Petri à Intervalles pour la régulation: cas d'assemblage mécanique » Conférence Internationale Francophone d'Automatique CIFA08, 2008.

H. Dhouibi, S. Collart-dutilleul, L. Nabli, E. Craye-]-m, and . Diaz, Using Interval Constrained Petri Nets for Reactive Control DesignLes réseaux de Petri ? Modèles fondamentaux, Série Informatique et Systèmes d'Information, 2001.

M. K. Didi-alaoui, Etude et supervision des graphes d'événements temporisés et temporels : vivacité, estimation et commande, Thèse de Doctorat, 2005.

H. S. Hamaci, J. Boimond, and S. Lahaye, Discrets dans l'algèbre (max,+) » , mémoire d'habilitation à diriger des recherches 16 Juin Laboratoire d'Ingénierie des Systèmes Automatisés -CNRS FRE 2656Performance analysis of timed event graphs with multipliers using (min, +) algebra, International Conference on Informatics in Control, Automation and Robotics, pp.16-21, 2004.

H. P. Hillion, Modélisation et analyse des systèmes de production discrets par les réseaux de Petri temporisés, Thèse de Doctorat, 1989.

B. [. Holloway and . Krogh, Synthesis of feedback control logic for a class of controlled Petri nets, IEEE Transactions on Automatic Control, vol.35, issue.5, pp.514-523, 1990.
DOI : 10.1109/9.53517

S. [. Houssin, J. Lahaye, and . Boimond, Modelling and Control of Urban Bus Networks in Dioids Algebra, pp.103-108, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00367280

L. Jansen and E. Schnieder, Traffic Control Systems Case Study: Problem Description and a Note on Domain-based Software Specification, 2000.

S. [. Jerbi, E. Collart-dutilleul, M. Craye, and . Benrejeb, Robust Control of Multiproduct Job-shops in Repetitive Functioning Mode The Hague, IEEE Conference on Systems, Man, and Cybernetics, pp.4917-4922, 2004.

S. [. Jerbi, E. Collart-dutilleul, M. Craye, and . Benrejeb, Observability of Tolerant Multi-product Job-shops in Repetitive Functioning Mode, 17th IMACS Word Congress on Scientific Computation, 2005.

]. N. Jer06a and . Jerbi, « Apports et intégration de la robustesse pour la supervision de systèmes manufacturiers» Thèse de doctorat de l, 2006.

]. N. Jer06c, S. Jerbi, E. Collart-dutilleul, M. Craye, and . Benrejeb, Intégration de la robustesse dans la supervision de systèmes manufacturiers à contraintes de temps, Conférence Internationale Francophone d'Automatique (CIFA'06), 2006.

]. N. Jer06d, S. Jerbi, E. Collart-dutilleul, M. Craye, and . Benrejeb, Time Disturbances and Filtering of Sensors Signals in Tolerant Multi-product Job-shops with Time Constraints, International Journal of Computers Communications & control, vol.I, issue.4, pp.61-72, 2006.

S. [. Jerbi, E. Collart-dutilleul, M. Craye, and . Benrejeb, Localization Algorithm of Time Disturbances in Tolerant Multi-product Job-shops, Studies in Informatics Control(SIC), vol.16, issue.1, 2007.

J. Nabil, ]. E. Collart-dutilleul-simonjon03, and . Jonas, Craye Etienne; Benrejeb Mohamed Commande robuste des ateliers manufacturiers à contraintes de temps Analysis of Intent Specification and System Upgrade Traceability, Journal Européen des Systèmes automatisés (JESA), 2003.

P. [. Khansa, J. P. Aygalinc, and . Denat, Structural analysis of P-Time Petri Nets, Computational Engineering in Systems Applications (CESA'96), pp.127-136, 1996.

W. Khansa, Réseaux de Petri P-temporels: Contribution à l'étude des systèmes à événements discrets, Thèse de Doctorat, 1997.

J. [. Krogh, L. E. Magott, and . Holloway, On the complexity of forbidden state problems for controlled marked graphs, [1991] Proceedings of the 30th IEEE Conference on Decision and Control, pp.85-91, 1991.
DOI : 10.1109/CDC.1991.261261

. [. Lefort, Les HyperNets: un outil de modélisation et de specification, Mémoire de thèse de l'université de Lille1, 1998.

L. Lei and T. J. Wang, A proof: the cyclic hoist scheduling problem is NPcomplete . Working paper, 1989.

J. Long, Sur la conduite hiérarchisée des systèmes flexibles de production, Thèse de Doctorat, 1993.

. A. Ma-01-]-l and . Maciaszek, Requirements Analysis and System Design " .Person Education Limited, 2001.

M. Manier and P. Baptiste, Etat de l'art : ordonnancement de robots de manutention en galvanoplastie, Automatique Productique Informatique Industrielle (APII-RAIRO), vol.28, pp.17-35, 1994.

M. Menasche, Analyse des réseaux de Petri temporisés et application aux systèmes distribués, Thèse de Doctorat en Automatique, 1982.

P. Merlin, A Study of the Recoverability of Computer Systems, 1974.

T. Muratat, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989.
DOI : 10.1109/5.24143

L. Nabli, A. Jabeur-telmoudi, M. Radhi, and . Hiri, Modeling and analysis of a robust control of manufacturing systems: flow-quality approach, International Journal of Computer, Information, and Systems Science, and Engineering, vol.1, issue.2, pp.43-51, 2008.

L. [. Ouerghi, J. Hardouin, M. Morel, and R. Bourcerie, Verification and control of p-temporal event graphs, 17th IMACS Word Congress on Scientific Computation, pp.4-99, 2005.

C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, Laboratory for Computer science, vol.120, 1974.

C. Vf, G. S. Ramamoorthy, and . Ho, Performance evaluation of asynchronous concurrent systems using Petri Nets, IEEE Transactions on Software Engineering, vol.6, pp.440-449, 1980.

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

[. Ramesh, C. Stubbs, T. Powers, and M. Edwards, Lessons Learned from implementing Requirements Traceability, Crosstalk Journal of Defense Engineering, pp.11-15, 1995.

J. L. Roux, Modélisation et analyse des systèmes distribués par les réseaux de Petri temporels, Thèse de Doctorat, Institut National des Sciences Appliquées de, 1985.

P. Sénac, Contribution à la modélisation des systèmes multimédias et hypermédias, Thèse de Doctorat, 1996.

J. Sifakis, Use of Petri Nets for Performance Evaluation in Measuring Modelling and Evaluating Computer systems, pp.75-93, 1977.

S. [. Toguyeni, E. E. Khattabi, and . Craye, Functional and/or structural approach for the supervision of flexible manufacturing systems, Computational Engineering in Systems Applications (CESA'96), Symposium on Discrete Events and Manufacturing Systems, pp.716-721, 1996.

P. Yim, A. Lefort, and A. Hebrard, System modelling with HyperNets, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, pp.37-47, 1996.
DOI : 10.1109/ETFA.1995.496761