We introduce a batch service discipline, called assemble-transfer batch service, for continuous-time open queueing networks with batch movements. Under this service discipline a requested number of customers is simultaneously served at a node, and transferred to another node as, possibly, a batch of different size, if there are sufficient customers there; the node is emptied otherwise. We assume a Markovian setting for the arrival process, service times and routing, where batch sizes are generally distributed.

Under the assumption that extra batches arrive while nodes are empty, and under a stability condition, it is shown that the stationary distribution of the queue length has a geometric product form over the nodes if and only if certain conditions are satisfied for the extra arrivals. This gives a new class of queueing networks which have tractable stationary distributions, and simultaneously shows that the product form provides a stochastic upper bound for the stationary distribution of the corresponding queueing network without the extra arrivals.

A stochastic process, called reallocatable GSMP (RGSMP for short), is introduced in order to study insensitivity of its stationary distribution. RGSMP extends GSMP with interruptions, and is applicable to a wide range of queues, from the standard models such as BCMP and Kelly's network queues to new ones such as their modifications with interruptions and Serfozo's (1989) non-product form network queues, and can be used to study their insensitivity in a unified way. We prove that RGSMP supplemented by the remaining lifetimes is product-form decomposable, i.e. its stationary distribution splits into independent components if and only if a version of the local balance equations hold, which implies insensitivity of the RGSMP scheme in a certain extended sense. Various examples of insensitive queues are given, which include new results. Our proofs are based on the characterization of a stationary distribution for SCJP (self-clocking jump process) of Miyazawa (1991).