multiPDEVS: A Parallel Multicomponent System Specification Formalism

Listing 2

Output (@-message) and input (-message) procedures of the multiPDEVS abstract simulator.

when receive -message (, ) at

time with input value

add sub-bag to the bag

end when

when receive @-message (@, ) at

time

if    then

error: bad synchronization

end if

for each imminent component

with and defined 

add sub-bag to the output bag

end for

send (, ) to parent coordinator

with output bag

end when