Player model introduced in Example
1.1 except the initial state.
This block diagram can be modeled by a coupled DEVS such as
where
={A,B};
{Player
} where
Player
is the atomic DEVS introduced in Example
1.1 with initial states Send for
=A, Wait for
=B, respectively;
={
},
={ (A.!send, B.?receive), (B.!send,
A.?receive)},
= { }.