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
)},
= { }.