This contribution describes the methods used in a factory floor optimization process. The manufacturing process involves approximately 140 machines and is concentrated around a group of multipurpose CNC machines. We have analysed the current state of the manufacturing system by constructing a discrete event simulation (DES) model. The factory manufactures approximately 30,000 different products...

The Prosit project, launched in 1991, is devoted to the development of a new discrete event simulation system based on the object paradigm. Object orientation is used to ensure two main concerns: performance on both conventional and multi-processor machines versatility and ease of use. The project described in this paper is a joint effort of Simulog, INRIA and GEC-Alsthom and has been partially...

The research focuses on increasing production volume and decreasing costs at a hardness test block manufacturer. A discrete event simulation model is created to investigate potential system wide improvements. Using the results from the simulation a production work-cell is proposed that will allow a single worker to operate 7 machines at a rate that exceeds existing production rates. This result...

The paper introduces OMNeT++, a C++-based discrete event simulation package primarily targeted at simulating computer networks and other distributed systems. OMNeT++ is fully programmable and modular, and it was designed from the ground up to support modeling very large networks built from reusable model components. Large emphasis was placed also on easy traceability and debuggability of simula...

A Markovian Petri net is a stochastic discrete event system (DES) frequently used for analysis and performance evaluation purposes. In the past, the fluidification has been proposed in different DES’s as a relaxation technique for avoiding the ”state explosion problem”. Following the same approach, in this paper a hybrid Petri net model is defined as a partial relaxation of an original Markovia...

In order to diagnose the occurrence of a fault event, it is first necessary to verify if the language of the system is diagnosable with respect to an observable event set and a fault event set. This verification can be carried out, in polynomial time, by using a verifier automaton. In some cases, the language of the system remains diagnosable even if some events of the observable event set beco...

Event Graphs are a simple and elegant language-independent way of representing a Discrete Event Simulation (DES) model. In this paper we propose an extension to basic Event Graphs that enables small models to be encapsulated in reusable modules called Listener Event Graph Objects (LEGOs). These modules are linked together using a design pattern from Object Oriented Programming called the “liste...

Abstract Optimization of operations and maintenance (O&M) in the industry is a topic that has been largely studied literature. Many authors focused on reliability-based approaches to optimize O&M, but little attention given study influence macroeconomic variables long-term policy. This work aims time-based (TBM) policy mining industry. The mine environment reproduced employing virtual m...