Kiltera: A Simulation Language for Timed, Dynamic Structure Systems

In recent years there has been an increased interest in modelling systems whose structure changes dynamically, for example to study mobility. At the same time, there is a plethora of simulation languages for discrete-event systems that include an explicit notion of time, but few, if any, support explicitly the notion of structural change. In this paper we introduce a process description language which addresses these issues explicitly. We discuss an application to modelling networks of servers