Hi, In case you're interested, we uploaded an additional OPMGraph that also models the communication between processes. This new graph contains the same information as our previous graph but adds this extra communication information. See http://twiki.ipaw.info/bin/view/Challenge/SotonUSCISIPc3 Thanks, Paul