Product forms for queueing networks with state-dependent multiple job transitions · Study