Before revision:  When the low-traffic assumption does not hold, system consists of multiple inter-dependent Fork-Join queues, which makes exact analysis intractable due to state space explosion.
After revision:  When the low-traffic assumption does not hold, system consists of multiple inter-dependent Fork-Join queues, making exact analysis intractable due to state space explosion.