multiPDEVS: A Parallel Multicomponent System Specification Formalism

Listing 1

Variable declaration and initialization procedure of the multiPDEVS abstract simulator.

variables multipdevs-simulator

parent

tl

tn

multiPDEVS =

with components

with states

a bag of states

time of last event and time of next event and local outputs

event-list = list of components

sorted by

end variables

when receive -message (, ) at time

for each component

end for

for each component

sort into event-list using

end for

end when