Simulation is a common tool for modeling and evaluating real-life systems. In discrete event simulation (DES) a system is represented from the perspective of its events. Modern tools for developing simulations are bound to general purpose programming concepts that cannot represent the simulation domain effectively. In this paper, we propose a model-driven approach to DES domain. We provide a me...

This paper presents some practical issues for the identification of discrete event systems (DES). The considered class of systems consists of a plant and a controller running is a closed-loop. Special emphasis is given to a data collection procedure using industrial controllers and its impact on the external DES-behavior of the considered systems. For models identified on the basis of observed ...

The supervised control of complex event-driven Discrete Event Systems (DESs) such as those present in manufacturing systems, or the communication processes involved therein, continue to pose a challenge to system designers. To a certain extent this complexity can be reduced by applying existing modular control approaches to large-scale DES design. These solutions divide the system into differen...

This paper presents an ARENA®-based library for the development of Timed Colored Petri Net (TCPN) models. In this way, the strengths of Petri Nets and Discrete Event Simulation (DES) are combined in a powerful tool for modeling and analysis of systems. The use of the library is illustrated on a cosmetics manufacturing facility in Bogotá (Colombia). This facility was modeled via both TCPNs and a...

A model for discrete event systems (DES) can be learned from observations. We propose a simple type of timed automaton to model DES where the timing of the events is important. Learning such an automaton is proven to be NP-complete by a reduction from the problem of learning deterministic finite state automata (DFA) without time. Based on this reduction, we show how the currently best learning ...

To solve the problem of hospital queues during COVID-19, this project takes The Second Hospital, University South China as an example, clarifies outpatient process under epidemic through on-site research and data analysis, collects waiting time service patients at each stage, builds its simulation model based on Discrete Event System (DES) theory, discovers experiments, bottlenecks limiting eff...