Extending DEVS to Support Multiple Occurrence in Component-Based Simulation

This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short paper in which the issue of supporting a new construction called a shared component was raised, in the case of a DEVS model. In this paper, the authors first demonstrates, formally, that the multi-occurrence extended definition, that includes the case of shared components, is valid because any model that is built using this extended definition accepts an equivalent model built using standard DEVS.