DEVS Formal Modeling and Simulation in Manufacturing Systems

Bottlenecks are a major problem for manufacturing companies because they limit the throughput of the production line. Although analytical methods have been widely studied, these methods are impractical in many cases, and simulation-based approaches, where a model of the system is developed, are needed. In this work, we show how to use DEVS as a tool to model and simulate manufacturing systems. More specifically, we propose to use it to apply the Theory of Constraints, identifying bottlenecks in the manufacturing plants and large amounts of Work in Progress.