Discrete Event Simulation (DES) is arguably one of the most popular operation research techniques. Even though Commercial-Off-The-Shelf (COTS) DES software has reached an impressive state of maturity, there are still problems that deter organizations from investing in such tools and adopting DES in their decision support processes. On the other hand, the nature of Open Source (OS) software deve...

Discrete-event simulation (DES) and lean are approaches that have a similar motivation: improvement of processes and service delivery. Both are being used to help improve the delivery of healthcare, but rarely are they used together. This paper explores from a theoretical and an empirical perspective the potential complementary roles of DES and lean in healthcare. The aim is to increase the imp...

This paper proposes a procedure to compute abstractions of Discrete Event System (DES) models with the observer property (OP). The procedure, named OP-Search, is based on the OP-Verifier algorithm which verifies if a given natural projection has the observer property. In case OP fails for a projection in Σr of an automatonM , OP-Search modifiesM by relabelling transitions and incorporating the ...

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

We show how methods from nonlinear spectral theory can be used to analyse the time behaviour of dynamical discrete event systems. RÉSUMÉ. Nous montrons comment analyser le comportement temporel des systèmes à événements discrets à l’aide de résultats de théorie spectrale non-linéaire.