digraph G { initial[label="", shape="circle", xlabel="refund"]; pending_accept[label="accept"]; done[label="done", shape="box"]; initial -> pending_accept; pending_accept -> done; }