*. Le-temps-passé-dans-le-mode-tirable-est-mémorisé, La prochaine fois que la transition devient tirable, le délai avant le tir aura déjà diminué à cause du temps passé dans le mode tirable. Dans ce cas, l'événement est dit préemptible. priority <event startRepair> = 1

. Insa-de-lyon, A. Tous-droits-réservés-bibliographie, O. Abbas-turki, and A. Grunder, Modélisation et évaluation d'une correspondance élémentaire d'un système de transport en commun par Réseaux de Petri Stochastiques, 3e Conférence Francophone de MOdélisation et SIMulation " Conception, Analyse et Gestion des Systèmes Industriels " MOSIM " 01 ? du 25 au 27 Avril, 2001.

O. Abu-amsha, J. , and M. Vincent, An algorithm to bound fonctionnalise of Markov chains large state space Grenoble: Rapport de Recherche du projet MAI, n° 25 Anonymous ftp ftp A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems, ACM Transactions on Computer systems, vol.2, issue.2, pp.93-122, 1984.

A. Arnold, G. Point, A. Griffault, and A. Rauzy, AltaRica, Manuel méthodologique, LaBRI, Université Bordeaux I et CNRS (UMR 5800), 96 pages, 26 septembre, K. Atif, 1993.

F. Baskett, K. , M. Chandy, R. , R. Muntz et al., Open, Closed, and Mixed Networks of Queues with Different Classes of Customers, Habilitation à diriger des Recherches de l, pp.248-260, 1975.
DOI : 10.1145/321879.321887

A. Benoit, Méthodes et algorithmes pour l'évaluation des performances des systèmes informatiques à grand espace d'états. Thèse en vue de l " obtention du grade de Docteur de l " INPG, spécialité : Informatique : Systèmes et Communications Réseaux d'automates stochastiques à temps discret. RSTI-TSI-24, pp.229-248, 2003.

A. Billaud, P. Ganzin, L. Gillet, M. Haziza, and O. Roth, Le soutien logistique intégré : La prise en compte des besoins d'un système tout au long de son cycle de vie, Gestion de production et Logistique : Projet -IFI 2003 ? Option Génie Industriel, 2003.

M. Bouissou, Dix petits problèmes de modélisation (en sûreté de fonctionnement des systèmes) Revue Phoebus n° 34 juillet-août-septembre, 2005.

M. Boutry, Construction d'indicateurs [online] Available from http://www.univ-nancy2.fr/Amphis/images A class of hierarchical queueing networks and their analysis, Buchholtz Queueing Systems, vol.64, issue.15, pp.59-80, 1994.

A. Cabarbaye, A. Cabarbaye, L. Tomasini, L. Ngom, and S. Allibe, Edition Cepadues Toulouse Apports, difficultés et prospectives dans le domaine de l'évaluation quantitative en Sûreté de Fonctionnement, Qualité Espace, supplément au N°33, septembre 1998 Apport des algorithmes génétiques à la Sûreté de Fonctionnement et à l'optimisation des systèmes ? Congrès Qualita 99, 25-26 mars 99, Modélisation et évaluation des systèmes -Cours de technologies spatiales Mise en oeuvre de la méthode des états fictifs et génération automatique des matrices de Markov -Congrès Qualita 99, pp.25-26, 1998.

A. Cabarbaye and L. Ngom, Mise en oeuvre de la méthode des états fictifs et génération automatique des matrices de Markov Congrès International Pluridisciplinaire de Markov Optimisation dans le domaine de la Sûreté de Fonctionnement 12e Colloque National de Sûreté de Fonctionnement (?/? 12), Montpellier 28 -30 mars -Simulation dynamique des arbres d'événements -12e Colloque National de Sûreté de Fonctionnement (?/? 12), Montpellier 28 -30 mars SIMCAB : un outil générique de simulation sous Microsoft Excel, 3e Conférence Francophone de MOdélisation et SIMulation " Conception, Analyse et Gestion des Systèmes Industriels " MOSIM " 01 ? du 25 au, 2000.

E. Cabau, Introduction à la conception de la sûreté. Schneider Electric. Cahier technique n° 144 Edition juin 1999 System Availability With Non-Exponentially Distributed Outages, IEEE Transactions on Reliability, vol.51, issue.2, pp.193-198, 1999.

Z. , Q. Cao, K. , H. Kim, F. et al., Incline algebra and applications Introduction to Discrete Event Systems, second edition, 1984.

J. L. Chabot, Y. Dutuit, A. Rauzy, N. Cheikhrouhou, and R. Glardon, De l'usage de la simulation Monte-Carlo couplee aux reseaux de Petri en surete de fonctionnement. 3è Conference Francophone de Modelisation et Simulation Optimisation de lignes de production via simulation : une approche basée sur l'analyse de perturbation, 4e Conférence Francophone de MOdélisation et SIMulation " Organisation et Conduite d " Activités dans l " Industrie et les Services " MOSIM, pp.3-23, 2001.

P. N. Cotaina, Méthodologie Thèse, en vue de l " obtention du grade de Docteur de l Université Henri Poincaré, Nancy 1, spécialité Automatique, soutenue le 22 octobre 1999 Decomposability: queueing and computer systems applications Bounds for positive eigenvectors of nonnegative matrices and for their approximations by decomposition Equivalence, reversibility, symmetry and concavity properties in fork-join queueing networks with blocking, Journal of the ACM Journal of the ACM, vol.31, issue.5, pp.825-903, 1977.

W. David, Prioritizing System-Reliability Prediction Improvements, IEEE Transactions on Reliability, vol.50, issue.1, pp.17-25, 2001.

R. and C. David, Analyse orientée objets et modélisation par simulation Une infrastructure de simulation modulaire pour l'évaluation de performances de systèmes temps réel, Thèse en vue de l " obtention du grade de Docteur de l, 1993.

J. P. Dismukes, Factory level metrics : Basis for productivity improvement, International Conference on Modelling and Analysis of Semiconductor Manufacturing (MASM), Arizona USA, 2002.

M. Djebabra, L. Bendada, and N. Bennoui, Capacité des réseaux de Petri pour l'analyse et la modélisation des systèmes de production, 2003.

S. Donnatelli, Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space. North-Holland: Performance Evaluation, pp.21-36, 1993.

J. Ferrier and J. Boimond, Systèmes dynamiques à événements discrets : du modèle à la commande. ISTIA -Université d'Angers Laboratoire d'Ingénierie des Systèmes Automatisés (LISA) Juin, 2004.

P. H. Fernandes, Méthodes Numériques pour la Solution de Systèmes Markoviens à Grand Espace d'États. Thèse en vue de l " obtention du grade de Docteur de l " Institut National Polytechnique de Grenoble, spécialité : Informatique. février 1998, Les réseaux de Petri stochastiques. Techniques et Sciences Informatiques, pp.1-143, 1985.

M. Fouladirad and I. Nikiforov, Statistical Fault Detection in linear Systems whith nuisance parameters, Qualita 2003-5 ème congrès pluridisciplinaire Qualité et Sûreté de Fonctionnement Nancy-France pp, pp.452-459, 2003.

J. , M. Fourneau, and F. Quessette, Graphs and stochastic automata networks In: Computations with Markov chains, 1995.

R. Goullioud, N. Abouchi, and R. , Analyse des performances des machines parallèles : approche par simulation à évènements discrets, 2003.

C. K. Lyon-cedex-02 and G. Popstojanova, Failure Correlation in Software Reliability Models, IEEE Transactions on Reliability, vol.49, issue.1, pp.37-48, 2000.

N. Götz, H. Hermanns, U. Herzog, V. Mertsiotakis, M. E. Rettelbach et al., Constructive specification techniques-integrating functional performance and dependability aspects In: Quantitative Methods in Parallel Systems, Ordonnancement Optimal des Systèmes de Tâches Temps Réel à l'Aide de Réseaux de Petri. proc. AGIS, Automatique Génie informatique Image Signal, pp.239-246, 1995.

L. Hacker, Critical Examination of a Common Assumption in System Availability Computations Reliability Edge Stochastic models in operations research, 1982.

S. H. Huang, J. P. Dimukes, J. Shi, Q. Su, M. A. Razzak et al., Manufacturing productivity improvement using effectiveness metrics and simulation analysis, International Journal of Production Research, vol.41, issue.3, pp.513-527, 2003.
DOI : 10.1080/0020754021000042391

C. Houlbert and A. Cabarbaye, Apport d'un logiciel générique d'optimisation et de simulation à la résolution de problématiques d'ordonnancement et à la maîtrise des risques. 4è Conférence Francophone de Modélisation et SIMulation « Organisation et conduite d, Activités dans l " Industrie et les Services » MOSIM, pp.3-23, 2003.

F. Innal, Y. Dutuit, D. Jampi, E. Guilhem, and J. Aubry, Évaluation de la performance d'un systeme de production des contributions individuelles de ses unites constitutives. 6è Conference Francophone de Modelisation et Simulation Conception et sûreté de fonctionnement : deux activités indissociables, 3e Conférence Francophone de MOdélisation et SIMulation " Conception, Analyse et Gestion des Systèmes Industriels " MOSIM, pp.1-25, 2001.

O. Kamach, Approche Multi-Modèle pour les systèmes à Evénements Discrets : application à la gestion des modes de fonctionnement Thèse en vue de l " obtention du grade de Docteur de l " INSA de Lyon, spécialité : Automatique Industrielle, Analyse des exigences de sûreté d'un système électrique par model-checking. Actes du congrès Lambda-MU 14, 2004.

W. T. Khanza, E. D. Kombé, and B. Efaga, Réseaux de Petri P-Temporels : Contribution à l'étude des systèmes à événements discrets Thèse en vue de l " obtention du grade de Docteur Soutenue le 7 mars 1997 à l Queueing theory, 1975.

T. Kombé, E. Niel, L. Pietrac, and A. Razy, Global Efficiency Assessment based on Component Composition of OEE Using AltaRica Data-Flow Language 13 th IFAC Symposium on Information Control Problems in Manufacturing, 2009.

T. Kombé, E. Niel, L. Pietrac, and A. Razy, Modélisation Temporelle et Stochastique du TRS pour l'Évaluation de l'Efficience des Systèmes de Production, Analyse et Conduite des Systèmes Dynamiques) JDMACS 2009, 2009.

H. Kromm, J. Deschamps, and G. Doumeingts, Modélisation de processus pour évaluation par niveaux de détail successifs, 3e Conférence Francophone de MOdélisation et SIMulation " Conception, Analyse et Gestion des Systèmes Industriels " MOSIM, pp.1-25, 2001.

P. E. Labeau, Dynamic reliability: towards an integrated platform for probabilistic risk assessment, Reliability Engineering & System Safety, vol.68, issue.3, pp.219-254, 2000.
DOI : 10.1016/S0951-8320(00)00017-X

H. Lacresse, A. Grall, and I. Nikiforov, Statistical Fault Detection with nuisance parameters and nonlinearities, Qualita 2003-5 ème congrès pluridisciplinaire Qualité et Sûreté de Fonctionnement Nancy-France pp, pp.460-467, 2003.

J. , C. Laprie, J. Arlat, J. , P. Blanquart et al., Guide de la Sûreté de Fonctionnement Analyse numérique matricielle appliquée à l, P, vol.1, issue.2, 1994.

M. Lhommeau, Étude de systèmes à événements discrets dans l'algèbre (max;+) Synthèse de correcteurs robustes dans un dioïde d'intervalles. Synthèse de correcteurs en présence de perturbations, Thèse en vue de l " obtention du grade de Docteur, 2003.

J. B. Mazigh and . Gresser, Optimisation d'une politique de maintenance Technique et Documentation Lavoisier Automated Simulation Analysis of Overall Equipment Effectiveness Metric Modèles Markoviens de grande taille : calculs de bornes. Thèse en vue de l " obtention du grade de Docteur de l " université de Rennes I Evaluation de la sûreté de fonctionnement des systèmes de production par les réseaux de Petri stochastiques généralisés, Modelisation et evaluation de la performance en conception. 6è Conference Francophone de Modelisation et Simulation, 166 p. S., Mahadevan Diagnostic et sûreté de fonctionnement, pp.255-272, 1993.

M. Meunier, Optimiser les processus et les ressources de production. MES: Pilotez votre atelier en temps réel pour produire plus et mieux. Pôle Productique Rhôle-Alpes, les dossiers, 2002.

M. and L. Minsky, Matter, minds and models, 1968.

H. Mohamedentreprise, B. A. Batna, and C. Seminar, modélisation, l'analyse et l'évaluation des performances d'un système de production : Ligne d'emboutissage de l' Thèse en vue de l " obtention du grade de Magister Soutenue le 14 juin 2006 à l " Université El-Hadj Lakhdar Batna. Spécialité Génie Industriel Notions de rang dans les dioïdes vectoriels Simulation ''Parfaite'' de grands modèles markoviens: Implantation de la méthode d'Aliasing Structuration des chaines de Markov des réseaux de Petri stochastiques-décomposition tensorielle et agrégation, Thèse en vue de l " obtention du grade de Docteur de l, 1987.

M. N. Muthiah and S. H. Huang, Overall throughput effectiveness (OTE) metric for factory-level performance monitoring and bottleneck detection, International Journal of Production Research, vol.1, issue.4, pp.4753-4769, 2007.
DOI : 10.1109/66.554490

A. Nait-sidi-moh, A. Manier, and A. Elmoudni, Modélisation et évaluation d'un système de transport par l'algèbre max-plus. 3e Conférence Francophone de MOdélisation et SIMulation «Conception, Analyse et Gestion des Système Industriels», pp.99-104, 2001.

M. and F. Neuts, Matrix geometric solutions in stochastic models, an algorithmic approach, 1981.

M. and F. Neuts, Stochastic geometric matrices of G/ M/ 1 type and their applications, 1989.

D. Noterman, Le MES dans la lignée du modèle CIM. Pôle Productique Rhône-Alpes, 2003.

G. Nowack, De l'apport des opérateurs temporels dans la modélisation dysfonctionnelle des systèmes. Thèse N° 97 ISAL 0072 en vue de l " obtention du grade de Docteur, 1997.

M. Ouabiba, N. Mebarki, and P. Castagna, Couplage entre des méthodes d'optimisation itératives et des modèles de simulation à événements discrets. 3e Conférence Francophone de MOdélisation et SIMulation «Conception, Analyse et Gestion des Systèmes Industriels». F., Ounnar Prise en compte des aspects décision dans la modélisation par réseaux de Petri des systèmes flexibles de production, 1999.

A. Pagès and M. Gondran, Fiabilité des systèmes, Editions Eyrolles, 1980.

F. Peres and D. Noyes, Formulation d'un problème d'optimisation d'une stratégie de maintenance par l'analyse Markovienne, Laboratoire Génie de Production Ecole Nationale d, Le TRG, un élément clé du TPM. Caterpillar, Librapport, Creative Commons du, pp.27-35, 2004.

B. Plateau and B. Ycart, Stochastic automata network of modeling parallel systems, IEEE Transactions on Software Engineering, vol.17, issue.10, pp.1093-1108, 1991.
DOI : 10.1109/32.99196

J. Poper, La dynamique des systèmes, principes et applications. Editions d " organisations, 1973.

Q. and O. Reporting, A Division of Q-mation, Inc. Available from: http://www.qmation.com/webpages/oee.htlm [Accessed 6 may Spécifications robustes du système de pilotage d'une fonction électronique automatique, Thèse en vue de l " obtention du grade de Docteur. Spécialité : Automatique et Informatique Appliquée, 2005.

E. Centrale-de-nante, . France, and . Le, AltaRica Data-Flow Language Reference, combava Reference Documentation, 2005.

M. Reisig, Mean value analysis of closed multichain queueing networks, Journal of the ACM, vol.27, issue.2, pp.313-322, 1980.

E. Rigaud, F. Guarnieri, and J. Riout, Vers une méthode d'autodiagnostic des défaillances liées aux produits et aux moyens de production à destination des PME-PMI, QUALITA 2003. 5 ième Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement. Actes du Congrès, 2003.

T. and G. Robertazzi, Computer networks and systems : queueing theory and performance evaluation Iterative methods for sparse linear systems, Méthodes, algorithmes et logiciels pour l'automatique. Institut National de Recherche en Informatique et en Automatique INRIA, 1990.

. Salem, Modélisation algébrique et évaluation de performance des mécanismes de gestion de la qualité de service dans les réseaux Ad Hoc Thèse pour obtenir le grade de Docteur de l Université de Toulouse III, soutenue le 9 octobre Méthode conjointe de décomposition et de calcul des bornes pour l'évaluation des performances d'un Réseau de Petri Stochastique non borné, 3e Conférence Francophone de MOdélisation et SIMulation " Conception, Analyse et Gestion des Systèmes Industriels " MOSIM, pp.1-25, 2001.

. Sarri, Stabilisation Optimale des systèmes à Événements Discrets à Structure Vectorielle : Application à la Sécurité Opérationnelle des systèmes de production, Thèse n° 99 ISAL 0016 en vue de l " obtention du grade de Docteur de l " Institut National des Sciences Appliquées de, 1999.

. Sassine, Intégration des politiques de maintenance dans les systèmes de production manufacturiers, Thèse en vue de l " obtention du grade de Docteur de l " Institut National Polytechnique de, 1998.

. R. Schneider, J. Schoenig, E. Aubry, and T. Guilhem, La Sûreté de Fonctionnement Guide Technique, revue InterSection An example of reliability assessment by an aggregation merhod of markov graphs for hybrid systems, Qualita 2003-5 ème congrès pluridisciplinaire Qualité et Sûreté de Fonctionnement Nancy-France pp, pp.637-644, 2003.

A. Smati, K. Younsi, N. Zeraibi, and N. Zemmour, Mod??lisation de la disponibilit?? d'une cha??ne de GNL sur la base d'une approche bay??sienne d'estimation des indices de fiabilit??, Oil & Gas Science and Technology, vol.58, issue.5, pp.531-549, 2003.
DOI : 10.2516/ogst:2003037

W. I. Soro, M. Nourelfath, D. Aït-kadi, W. , J. L. Stewart et al., Evaluation des indices de performance d'un systeme multi-etats degradable. 6è Conference Francophone de Modelisation et Simulation Introduction to the numerical solution of Markov chains Optimisation de la maintenance d'une constellation de satellites -12e Colloque National de Sûreté de Fonctionnement (?/? 12), Montpellier 28 ? 30 mars SAMSON: Un simulateur pour systèmes répartis et temps réel, Thèse en vue de l " obtention du grade de Docteur en Science de l " Université du Havre. Spécialité : Instrumentation et commande Science applications Probability & statistics with reliability, queueing and computer, p.132, 1982.

B. Tuffin, Modélisation mathématique pour la conception, l'analyse quantitative et le contrôle de la qualité de service des systèmes. HDR présentée à l, OEE ? World Class Performance Reporting. vRTM.OEE R5 a division of Q-mation, 1988.

. Vorne, Calculating OEE [online]. Vorne Industries Available from, 2008.

R. M. Williamson, Using Overall Equipment Effectiveness: the Metric and the Measures [online]. Strategic Work Systems, Inc. Columbus NC 28722 Available from: www.swwpitcrew.com/articles, 2006.

. Wonderware, DT Analyst 2.0: Visualiser, Analyser, Optimiser [online]. Factory Systems Available from, 2007.

B. Ycart, Simulation de modèles markoviens, 1997.

J. Zaytoon, Extension de l'Analyse Fonctionnelle à l'étude de la Sécurité Opérationnelle des Systèmes Automatisés de Production, Thèse N° 93 ISAL 0016 en vue de l, 1993.

G. Zwingelstein, Sûreté de fonctionnement des systèmes industriels complexes, 2008.