Abstract

The recently proposed NSA-DEVS formalism uses infinitesimal time delays to combine the easy implementation of Mealy components from RPDEVS with the simple simulator structure of PDEVS in order to make DEVS a suitable foundation for complex component-based modeling tasks. To prove its general applicability, it is used here to implement a large real-world model describing a production line that consists of several furnaces, lathes and grinders. Using a Matlab implementation of the simulator algorithm, the model behaviour is analyzed carefully and it is found that only one of its over 400 infinitesimal time delay parameters has to be changed from its default value. This shows the soundness of the basic ideas of NSA-DEVS and its applicability for real-world examples.