Algebraic criteria for extended product form in generalised semi-Markov processes