Existence and characterization of product-form invariant distributions for state-dependent stochastic networks in the heavy-traffic diffusion limit