added conditional transitions to read FSM fork based on read/write completion signals