multiPDEVS: A Parallel Multicomponent System Specification Formalism

Listing 3

Internal transition handling procedure of the multiPDEVS abstract simulator.

when receive -message (, ) at

time

if not () then

error: bad synchronization

end if

if   and   then

for each imminent component

with

ps

for each   in ps where

add to the bag of

suggested states

end for

end for

else if    then

for each component

if   and   then

if defined    then

ps

else

ps

end if

else

if defined    then

ps

end if

end if

for each   in ps where

add to the bag of

suggested states

end for

end for

end if

for each   where and

end for

for each   where

reschedule into event-list

end for

end when