Research Article
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 |
|