Composants essentiels de tout ordinateur, les semi-conducteurs sont utilisés dans de nombreux secteurs. Les percées technologiques dans ce domaine imposent un rythme vertigineux aux industriels. Tous les deux ans environ, la capacité des puces est doublée et leur prix est divisé par deux. Le diamètre des plaquettes de silicium augmente et, regroupées en lots, les plaquettes sont plus lourdes à transporter. Les systèmes automatiques de transport (AMHS) se présentent comme une excellente alternative. Le prix très élevé des équipements de production fait que l’objectif est de saturer les capacités de production. Pour y parvenir, il est important que le système de transport et de stockage garantisse que les machines n’attendent pas des lots disponibles, et aussi que les lots n’attendent pas une machine disponible.Dans la littérature, la complexité du problème (jusqu’à 700 étapes de fabrication, flux réentrants, etc.) fait que les études de modélisation du transport se font avec de fortes hypothèses sur la production ou inversement. Pourtant, le transport est un service pour la production. Cette thèse propose une approche de modélisation permettant d'intégrer le plus fidèlement possible les contraintes de transport, production et stockage, afin d'améliorer les indicateurs clés de la production. Une analyse détaillée du système a permis de construire un modèle de simulation à événements discrets. Enfin, après une validation industrielle, l'étude complète du modèle a permis d'analyser les paramètres critiques de gestion du transport. Les résultats permettent une meilleure compréhension du système et mettent en exergue d'intéressantes perspectives de recherche. / Essential components of all computers, semiconductors are widely used in many sectors. Quick advances in these technologies force a challenging rhythm to manufacturers. Following the Moore’s Law, chip capacity doubles approximately every two years and prices are divided by two. Thus, the increase of the diameter of wafers to 300 mm makes them heavier to transport in lots. Automated Material Handling Systems (AMHS) are an excellent alternative to tackle this problem. Because of the high price of production equipment, the goal is to use production capacity as much as possible while avoiding to keep too much inventory. To reach this goal, it is important that the transportation and storage system ensures that machines do not wait for available lots, and also that lots do not wait for available machines. In the literature, due to the problem complexity (up to 700 steps, re-entrant flows, etc.), the modeling of transportation is made with strong assumptions on the production or vice-versa. However, transport is a service for production. This thesis aims at providing a modeling approach that allows the integration in details transport, production and storage constraints, in order to improve production key indicators. A detailed understanding of the system allows us to build of a discrete event simulation model which is, in our point of view, the best compromise between the necessary level of details and computational times. Finally, through industrial validations, the complete study of the model allows critical parameters of transport management to be analyzed. The results help to get a better understanding of the system and open interesting research perspectives.

Master of Science / Department of Industrial and Manufacturing Systems Engineering / Chih-Hang John Wu / The University of Kansas Medical Center’s Emergency Department is adopting a new residency program. In the past, generalized Residents have supported attending physicians during a required three month rotation in the Emergency Department. As of July 2010, the University of Kansas Medical Center’s Emergency Department has switched to a dedicated Emergency Medicine Residency program that allows recently graduated physicians the opportunity enter the field of Emergency Medicine. This thesis shows that although not initially a dedicated residency program provides an advantage to the Emergency Department. Discrete Event Simulations have been used to predict changes in processes, policies, and practices in many different fields. The models run quickly, and can provide a basis for future actions without the cost of actually implementing changes in policies or procedures. This thesis applies a learning curve in a Simulation Model in order to provide data that the University of Kansas Medical Center’s Emergency Department can utilize to make decisions about their new Residency Program. A generalized learning curve was used for the base model and compared to all alternatives. When it was compared with an alternative curve following a Sigmoid Function (Logistic Function), there were no significant differences. Ultimately, a Gompertz Curve is suggested for hospitals attempting to develop or improve their residency programs using learning curves because it is easily fitted to their desired shape. This thesis shows the effect that Residents have on the performance of the Emergency Department as a whole. The two major components examined for the generalized learning curve were the initial position for first year residents determined by the variable [alpha], and the shape of the curve determined by the variable [beta]. Individual changes the value of [alpha] had little effect. Varying values of [beta] have shown that smaller values elongate the shape of the curve, prolonging the amount of time it takes for a resident to perform at the level of the attending physician. Each resident’s personal value of [beta] can be used to evaluate the performance in the emergency department. Resident’s who’s [beta] value are smaller the emergency department’s expected value might have trouble performing.

För att upprätthålla sin konkurrenskraft krävs det idag att ett fokus läggs på att ständigt förbättra sina processer inom organisationen. Detta faller sig logiskt, men att ta fram underlag för vilka förbättringsåtgärder som bör implementeras till processen kan vara svårt. Syftet med denna studie är att undersöka hur value stream mapping (VSM) tillsammans med diskret händelsestyrd simulering (DES) kan användas inom lastningsprocesser hos hamnliggande logistikverksamheter för att kartlägga processen, identifiera flaskhalsar samt att undersöka det teoretiska utfallet vid implementation av potentiella förbättringsåtgärder. Svaret på detta genererades via en fallstudie på SCA Logistics där en lastningsprocess analyserades från ett av deras lager som start till slutet av processen när produkten är lastad på ett fartyg. Först skapades en VSM samt en DES-modell av nuläget. Nulägets VSM bidrog till en översikt över den aktuella processen och till att validera DES-modellen. Därefter med Lean-principer som grundpelare och med hjälp av intervjuer kunde tre förbättringsåtgärder identifieras. Dessa förbättringsåtgärder applicerades till DES-modellen en i taget för att undersöka hur de påverkar systemet. De två framstående förbättringsåtgärderna testades även ihop. Resultatet visade på att processen blev mer effektiv, i form av kortare ledtid, och två nya VSM togs fram för att bidra med ytterligare visualiserande information. Åtgärderna har andra spärrar i praktiken som inte visas via varken DES eller VSM såsom höga kostnader eller hinder i lagerförhållanden. Undersökningen ledde till den slutsatsen att VSM kan användas som komplement till DES för att bidra med ett teoretiskt underlag för huruvida en förbättringsåtgärd bör implementeras. Som rekommendation bör även en kostnadsnyttoanalys genomföras för att undersöka huruvida nyttan uppväger för kostnaden.

Malgré la prédominance actuelle du mode routier, pour le transport de marchandises en milieu urbain, une alternative durable est nécessaire, au vu des enjeux environnementaux et sociétaux. Dans cette thèse, nous proposons l’étude d’une des perspectives possibles, pour absorber une partie de ce flux de marchandises toujours plus dense, en utilisant le réseau ferroviaire urbain, initialement dédié aux voyageurs. Une méthodologie intégrant le fret dans ce dernier est proposée, avec comme première étape, l'identification et la classification de tous les niveaux de mixité fret / voyageurs possibles. Le niveau le plus contraint est retenu, car sa faisabilité induira celle des autres. Notre seconde contribution est relative à une approche par décomposition du problème d’insertion du flux de fret en plusieurs sous-problèmes interdépendants, selon les trois horizons temporels (long, moyen et court). Dans le but d’évaluer la capacité du système global, à absorber un flux supplémentaire de nature différente, le problème de détermination du meilleur plan de transport des marchandises est identifié comme central et critique. La troisième contribution concerne la simulation du système de transport, puis sa formalisation par un PL en variables mixtes, pour affecter chaque commande à un train, en déterminant le moment auquel elle sera chargée et en minimisant les temps d’attente cumulés des commandes. Plusieurs variantes de colonies de fourmis sont développées, pour la résolution d’instances de grande taille. La quatrième contribution concerne le couplage du modèle de simulation, qui permet l’évaluation des performances de cette nouvelle solution de transport, avec les différents algorithmes optimisant le plan de transport. Enfin, nous proposons une approche de replanification par horizon glissant, pour absorber les perturbations de la demande, en minimisant les changements du plan de transport / Urban freight transport is almost exclusively carried out by truck. Beyond the drawbacks caused in the city, this transport mode is nearly saturated. This study discusses an alternative way of transporting freight by using urban rail infrastructure. The first contribution deals with the identification and classification of all different sharing possibilities of mixing freight with passenger’s traffic using rail network. The second contribution is the definition of global freight/passenger transport problem, which is decomposed into several optimization interdependent sub-problems with different temporal decision horizon. In order to show the capacity of the global system to absorb an additional flow with different nature, the Freight Rail Transport Schedule Problem “FRTSP” is identified as the bottleneck of transportation system and is formalized with MIP model. As third contribution, this problem determines train and loading time for each demand to be assigned respecting several constraints while minimizing total waiting time. The fourth contribution deals with a discrete event simulation approach, which studies this alternative and validates several proposed decision algorithms. Finally, the fifth contribution consists in a dynamic approach based on a rolling horizon, which is proposed in order to update the initial plan. The updated plan allows to determine a new assignment regarding new demand such as the modifications from the previous plan are minimized

O estudo de sistemas logísticos envolve a concatenação de elementos estratégicos e operacionais, comumente compondo sistemas com múltiplas facetas, objetivos antagônicos e grande número de alternativas. Nesse contexto, o presente trabalho discute a utilização de análise de decisão multicritério (MCDA), simulação de eventos discretos (SED) e otimização para simulação. A metodologia MCDA captura, mensura e pondera os objetivos e valores dos tomadores de decisão. Por sua vez, a SED representa o sistema estudado com alto nível de detalhamento, permitindo a avaliação de diversas configurações do sistema. Por fim, métodos de otimização para simulação possibilitam a busca e comparação de alternativas mais eficientes. As três metodologias são avaliadas, identificando suas vantagens, desvantagens e complementaridades quando aplicadas a sistemas logísticos. Através da aplicação de um estudo de caso sobre o dimensionamento de um sistema de transporte, constatou-se que: a) a SED incorporou detalhes importantes para a avaliação mais precisa de vários indicadores de desempenho b) a metodologia MCDA possibilitou a captura de vários objetivos e valores, propiciando a realização de tradeoffs robustos; c) um método de busca exaustiva e técnicas de redução de variância permitiram a comparação das alternativas em tempos computacionais reduzidos. Por fim, conclui-se que a metodologia híbrida apresentada expande o potencial de aplicação da SED em sistemas logísticos complexos. / A logistic system study involves strategic and operational elements, commonly composing multi-faceted systems with antagonistic goals and large number of alternatives. In this context, this thesis discusses the use of multi-criteria decision analysis (MCDA), discrete event simulation (DES) and optimization for simulation. The MCDA methodology captures, measures and weighs the goals and values of decision makers. DES is useful for representing systems with high level of detail, allowing the evaluation of several system configurations. Finally, optimization for simulation procedures are useful for searching and comparing more efficient alternatives. These three methodologies are assessed and their advantages, disadvantages, and complementarities are identified for logistics systems applications. Through a case study of a transportation system, we conclude that: a) the SED incorporated important details for more precise evaluation of various performance indicators b) the MCDA methodology was useful to capture several goals and values, so that robust tradeoffs could be carried out c) an exhaustive search routine and variance reduction techniques allowed the comparison of several alternatives in feasible computational times. Finally, we conclude that the presented hybrid methodology expands the application of DES to complex logistics systems.

L'étude présentée dans ce mémoire concerne le diagnostic des machines électriques à l'aide d'une association innovante entre la modélisation à évènements discrets, la Simulation Comparative et Concurrente (SCC) et les Réseaux de Neurones Artificiels (RNAs). Le diagnostic des machines électriques est effectué à partir d'une analyse temporelle des signaux statoriques et rotoriques à l'aide de réseaux de neurones de type Feed-Forward. Afin de comparer les différentes configurations de ces réseaux de neurones, l'approche proposée dans ce document utilise la simulation comparative et concurrente implémentée grâce au formalisme à évènements discrets DEVS (Discrete EVent system Specification). L'intégration des algorithmes de la SCC et des RNAs au sein du formalisme DEVS a été effectuée de manière générique et indépendamment du simulateur en développent des extensions et une librairie de modèles dans l'environnement de modélisation et de simulation à évènements discrets DEVSimPy. L'application de cette nouvelle solution pour le diagnostic des machines électriques permet de détecter les défauts à partir d'une architecture logiciel facilement portable sur des systèmes embarqués de type FPGA. / This thesis deals with the time-domain analysis of the electrical machines fault diagnosis due to early short-circuits detection in both stator and rotor windings. It also introduces to the Discrete EVent system Specification (DEVS) a generic solution to enable concurrent and comparative simulations (CCS). The DEVS-based CCS is an extension introduced using an aspect-oriented programming (AOP) to interact with the classic DEVS simulator. A new DEVS-based artificial neural network (ANN) is also introduced with a separation between learning and calculation models. The DEVS-based CCS is validated on the proposed ANN DEVS library inside the DEVSimPy environment. The concurrent ANN contributes in the time-domains analysis for the electrical machine fault diagnosis. This new method is based on data coming directly from the sensors without any computation but with a new dedicated preprocessing technique. Later, some enhancements are brought to the artificial neural network based on a new multistage architecture reducing the training time and errors compared to the single ANN. The new architecture and techniques has been validated on real data sixteen non-destructive windings faults analysis and localization.

A simulação de eventos discretos é uma das mais poderosas ferramentas disponíveis para modelagem e análise de problemas. Freqüentemente ela é utilizada para o planejamento, projeto e controle de sistemas complexos em diversos segmentos; entre eles, a área de sistemas logísticos, que a tem aplicado extensivamente para analisar as capacidades logísticas, avaliar os impactos de mudanças nos processos produtivos, testar diferentes configurações na alocação de recursos limitados, determinar parâmetros das operações, validar novos projetos, entre outras aplicações. Esta popularização da simulação despertou o interesse das empresas especializadas no desenvolvimento de softwares, resultando em diversas opções com diferentes características e custos. Desta forma, identificou-se a necessidade de um método para seleção de softwares de simulação de eventos discretos voltados à resolução de problemas logísticos, pois os trabalhos disponíveis na Literatura abordam somente a escolha de softwares para fins genéricos. Para preencher essa lacuna, foi proposto um conjunto de critérios que endereçam as necessidades específicas do desenvolvimento de modelos voltados à análise de sistemas logísticos. Esses critérios formaram a base do método proposto, que incorporou as melhores características dos trabalhos identificados na Literatura. Sua primeira fase gerou uma lista com os softwares que suportaram os critérios definidos como essenciais por meio da aplicação de um método de atribuição de pesos e pontuação, cuja eficiência e simplicidade são amplamente reconhecidas; já a segunda fase, utilizou o método de análise hierárquica (AHP), recomendado para a tomada de decisão baseada em múltiplos critérios, por permitir a identificação e correção das inconsistências geradas pelo julgamento humano. Dois problemas testes também foram propostos para o desenvolvimento de aplicações em sistemas logísticos e condução de experimentos durante a segunda fase. Os softwares Arena, ProModel e @Risk, extensivamente utilizados para ensino e pesquisa na Escola Politécnica da Universidade de São Paulo, foram avaliados durante a aplicação prática do método proposto. Os resultados obtidos confirmaram a percepção, adquirida durante a segunda fase do método, de que os softwares Arena e ProModel apresentam características semelhantes, dada a discreta diferença em suas pontuações totais. Os diversos cenários desenvolvidos na análise de sensibilidade também ratificaram essa tendência. / The discrete event simulation is one of the most powerful tools available for modeling and problem analysis. Frequently it is used for planning, designing and controlling complex systems in several segments. The logistic system area has also applied it extensively to analyse the logistic capacities, evaluate the impacts of changes in the productive processes, test different configurations in the allocation of limited resources, determine operation parameters, validate new projects, among other applications. Thus, the growth of the simulation awoke the interest of the companies specialized in software development. This fact resulted in several options with different characteristics and costs. Because of this, it was identified the necessity of a selection method for discrete event simulation software dedicated to the resolution of logistic problems. The available works in Literature only approach the choice of softwares for generic purposes. To fill in this gap, a set of criteria that address the specific necessities of the development of models dedicated to the analysis of logistic systems was proposed. These criteria formed the base of the proposed method. It has incorporated the best characteristics of the works identified in Literature. Its first phase generated a list with softwares with widely recognized efficiency and simplicity that supported the essential criteria through the application of a scoring model. Its second phase used the Analytic Hierarchy Process (AHP) which is recommended for the decision taking based on multiple criteria because it allows the identification and correction of the inconsistencies generated by the human judgment. Two test problems have also been proposed for the development of applications in logistic systems and performance of experiments during the second phase. Arena, ProModel and @Risk, extensively used for education and research in the Polytechnical School of the University of São Paulo, were evaluated during the practical application of the proposed method. The results confirmed the perception acquired during the second phase of the method that Arena and ProModel present similar characteristics. They presented a discrete difference in their total score. The several scenes developed in the sensitivity analysis also ratified this trend.

Realizar a análise econômica de uma produção agropecuária não é algo trivial, seja pela enorme heterogeneidade entre cada unidade produtiva, seja porque utiliza muitos recursos naturais, alguns de difícil mensuração. Há diversos métodos disponíveis para o cálculo do custo de produção, que é o indicador chave para a análise da viabilidade de um empreendimento. O desafio é permitir que a projeção da atividade no horizonte produtivo seja a mais real e dinâmica possível. A simulação computacional é atualmente uma das mais poderosas ferramentas de análise disponível para o planejamento, projeto e controle de sistemas complexos, e vem sendo cada vez mais utilizada e difundida. Simular compreende a elaboração de um método de experimentação que, através da construção de modelos de um sistema real, procura descrever comportamentos, construir teorias ou hipóteses por meio do observado e predizer comportamentos futuros. O uso de modelos de simulação, que incorporem o risco e a probabilidade dentro produção animal, pode ser uma alternativa tanto técnica - auxiliando na tomada de decisão, gestão e planejamento pecuário, quanto científica - permitindo a avaliação de efeitos de resultados da pesquisa e identificação de limitantes que podem incentivar o desenvolvimento de pesquisas futuras. O modelo de simulação híbrido - baseado em simulação de eventos discretos e baseado em agentes, aqui proposto - visou identificar coeficientes zootécnicos e os critérios de manejo que mais impactam a produção de ovinos de corte. Esse modelo de simulação computacional híbrido possui caráter dinâmico e probabilístico, com eventos marcados no tempo (estação de monta, gestação, parição, desmame, engorda, abate, entre outras) e complexos o suficiente para que seus agentes sofram alterações tanto no tempo quanto em resposta a ocorrência ou não das variáveis ligadas a eles. Os resultados dos experimentos e dos cenários estudados revelaram que dentre os índices zootécnicos das matrizes, a ocorrência de aborto gera maior impacto na taxa de abate e financeiramente na margem líquida operacional. Contudo, analisando as variáveis tanto para matrizes como para cordeiros, a mortalidade neonatal, até os cinco dias de vida dos cordeiros, demonstrou ser o ponto fundamental para a lucratividade da atividade. A estabilização do rebanho foi mais afetada pela presença de matrizes adultas no plantel, que culminaram no aumento no número de cordeiros por matriz. Os resultados da análise dos fluxos de caixa de 30 anos, a uma taxa mínima de atratividade de 6,17% aa, permitiram constatar que iniciar a atividade com número muito reduzido de matrizes é o cenário menos interessantes, com taxa interna de retorno negativa para o período de análise. O estudo do fluxo de caixa permitiu atribuir a 200 matrizes como o tamanho de rebanho inicial mais interessante (TIR = 3,30% aa). Assim, o uso de simuladores híbridos baseados em simulação de eventos discretos e baseados em agentes, para estudos na pecuária nacional, apresentou-se como ferramenta com grande potencial de contribuição, no sentido de permitir conhecer os resultados possíveis das diferentes combinações tecnológicas disponíveis. O modelo ainda permite ser utilizado como ferramenta de estudo e análise para a cadeia produtiva, contribuindo na orientação aos cientistas, auxiliando no direcionamento de seus esforços no desenvolvimento de futuras pesquisas / Conduct an economic analysis of agricultural production is not trivial, either by its enormous heterogeneity between each production unit, or because it uses many natural resources, some of which are difficult to measure. There are several methods available for calculating the cost of production, which is the key indicator for assessing the feasibility of a project. The challenge is to allow the projection of activity in the productive horizon in the most real and dynamic form as possible. The computer simulation is currently one of the most powerful analysis tools available for planning, design and control of complex systems and is being increasingly used and disseminated. Simulate includes the development of a method of testing by building models of a real system, that seeks to describe behaviors, build theories or hypotheses through noted and predicted future behaviors. The use of simulation models that incorporate uncertainty and probability in animal production can be both an alternative technique - assisting in decision-making, management and livestock planning; as scientific - allowing the evaluation of the research results of effects and identification of limiting that may encourage the development of future research. The model of hybrid simulation - based on discrete event simulation and on agent-based, proposed here - aimed to identify factors husbandry and management criteria that most affect the production of meat sheep. The model of hybrid computer simulation have dynamic and probabilistic characteristics, with events scheduled in time (breeding season, pregnancy, parturition, weaning, fattening, slaughter, etc.) and enough complexity that its agents be adversely affected both in time and in response to the occurrence or not of variables linked to them. The results of the experiments and the scenarios studied showed that among the zootechnical indexes of the sheep, the occurrence of abortion generates a greater impact on the slaughter rate and financially in the net operating margin. However, analyzing the variables for both sheep and lambs, neonatal mortality, up to the lambs\' five days of life, proved to be the fundamental point for the profitability of the activity. The stabilization of the herd was more affected by the presence of adult sheep in the herd, which culminated increasing the number of lambs per sheep. The results of the analysis of the 30-year cash flows, at a minimum attractiveness rate of 6.17% per year, showed that starting the activity with a very small number of sheep was the least interesting scenario, with a negative internal rate of return for the analysis period. The study of the cash flow allowed to assign to 200 sheep as the most interesting initial herd size (IRR = 3.30% per year). Thus, the use of hybrid simulators, based on discrete event simulation and agent-based for studies in national livestock, is presented as a tool with great potential to contribute, to allow knowing the possible outcomes of different combinations of available technology. The model also allows to be used as a study tool and assessment of different technological combinations for the production chain, contributing to the guidance of scientists, assisting their efforts in the development of future research

The goal of the thesis is to develop tools for improving shipbuilding workshops productivity. These tools have been tested on workshops of Aker Yards France shipyard, in Saint-Nazaire. The main chapter concerns the modelling of a workshop with the discrete-event simulation methodology. Production simulation is strongly used in some fields as automobile industry but is less used in shipbuilding. Indeed, the difficulty is that almost each piece to produce is unique. The objective is to show the importance of production simulation for such workshops. The modelled workshop is linked to a genetic algorithm to improve its productivity by optimizing its production sequence. Secondly a tool of creation and optimization of PERT networks has been created. The tool contains a graphical interface to easily handle networks and an optimization algorithm. This last one can minimize total cost of any project for a given total time. The tool has been linked to the modelled workshop. Consequently we get a PERT diagram of the workshop that can highlight critical activities. Finally, the last chapter explains the development of a tool to solve space allocation problems. Indeed space is often a critical point in many shipyards. Thanks to a user-friendly interface, the developed tool facilitates scheduling of these workshops. Furthermore it contains an optimization algorithm based on a heuristic approach to automate the planning process. In conclusion a set of efficient tools has been carried out with concrete applications on real workshops./Lobjectif de la thèse est de développer une série doutils qui permettent doptimiser la production dateliers de construction navale. Ces outils sont testés sur des ateliers du Chantier Naval Aker Yards France à Saint-Nazaire. Le chapitre principal traite de la modélisation dun atelier dit de PréPréFabrication sur le principe de la simulation de production à évènements discrets. La simulation de production est fortement utilisée dans certains domaines industrie automobile par exemple mais encore peu souvent en construction navale. En effet, la difficulté réside dans la diversité des pièces à produire. Lobjectif est de démontrer lintérêt de la simulation de production même dans ces ateliers où pratiquement chaque pièce à construire est unique. Latelier modélisé a été couplé avec un algorithme génétique pour améliorer sa productivité en optimisant la séquence de production. En second lieu, un outil de création et doptimisation des réseaux PERT a été créé. Loutil contient une interface graphique permettant une manipulation aisée des réseaux et un algorithme doptimisation. Ce dernier permet de minimiser le coût de réalisation dun projet pour un temps total fixé. En étant couplé avec le logiciel de simulation développé, une création automatique du diagramme PERT de latelier est créée, permettant de mettre clairement en évidence ses activités critiques. Finalement, le dernier chapitre de la thèse porte sur la création dun logiciel permettant de résoudre les problèmes de gestion de surface et de planification rencontrés dans certains chantiers. En effet, lespace au sol est un élément critique pour beaucoup dateliers de construction navale. Le logiciel développé, grâce à une interface conviviale et pratique, permet de faciliter grandement la planification. De plus, il contient un algorithme doptimisation basé sur des heuristiques afin dautomatiser le processus de planification. En conclusion, un ensemble doutils efficaces a été généré, avec des applications concrètes sur des ateliers réels.

The objective of this dissertation is to introduce a unified framework for modeling and simulating discrete event logistics systems (DELS) by using a formal language, the System Modeling Language (SysML), for conceptual modeling and a corresponding methodology for translating the conceptual model into a simulation model. There are three parts in this research: plant modeling, control modeling, and simulation generation. Part 1:Plant Modeling of Discrete Event Logistics Systems. Contemporary DELS are complex and challenging to design. One challenge is to describe the system in a formal language. We propose a unified framework for modeling DELS using SysML. A SysML subset for plant modeling is identified in this research. We show that any system can be described by using the proposed subset if the system can be modeled using finite state machines or finite state automata. Furthermore, the system modeled by the proposed subset can avoid the state explosion problem, i.e., the number of the system states grows exponentially when the number of the components increases. We also compare this approach to other existing modeling languages. Part 2:Control Modeling of Discrete Event Logistics Systems. The development of contemporary manufacturing control systems is an extremely complex process. One approach for modeling control systems uses activity diagrams from SysML, providing a standard object-oriented graphical notation and enhancing reusability. However, SysML activity diagrams do not directly support the kind of analysis needed to verify the control model, such as might be available with a Petri net (PN) model. We show that a control model represented by UML/SysML activity diagrams can be transformed into an equivalent PN, so the analysis capability of PN can be used and the results applied back in the activity diagram model. We define a formal mathematical notation for activity diagrams, show the mapping rules between PN and activity diagrams, and propose a formal transformation algorithm. Part 3:Discrete Event Simulation Generation. The challenge of cost-effectively creating discrete event simulation models is well-known. One approach to alleviate this issue is to describe a system using a descriptive modeling language and then transform the system model to a simulation model. Some researchers have tried to realize this idea using a transformation script. However, most of the transformation approaches depend on a domain specific language, so extending the domain specific language may require modifying the transformation script. We propose a transformation approach from SysML to a simulation language. We show that a transformation script can be independent of the associated domain specific language if the domain specific language is implemented as domain libraries using a proposed SysML subset. In this case, both the domain library and the system model can be transformed to a target simulation language. We demonstrate a proof-of-concept example using AnyLogic as the target simulation language.