Answer (A) p1 invokes p2, p2 invokes either p3, or p4, or p5.
Answer is not C because C says A new module Tc is defined to control the transaction flow. This module Tc first invokes p1 and then invokes p2.But we can clearly see in the flow diagram p2 is clearly getting invoked by p1 and not by Tc.