Information Technology Reference
In-Depth Information
Figure 4.8
The communicating reachability graph of eBay and TPC service.
respectively. This mediation transition is illustrated by a dashed
directed arc from the second ellipse to the third one. From this state,
we can further populate CRG by firing transitions in each service as
well as mediation ones.