Merge PTnet
17/3/2014
CE-653 - Handshake Templates
Implementation
30
}
Why is it so
complex?
}
PTnet must
include:
}
2-phase ring for
Oreq
/
Oack
}
DR choice
}
DR return from
choice
}
Oreq*
dependence to
A
/
Back*
}
DR return from
choice
dependence on
A
/
Back*
}